Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

andrewcmyers Follow

Overview Repositories 28 Projects 0 Packages 0 Stars 10

More

Overview
Repositories
Projects
Packages
Stars

andrewcmyers

Follow

Andrew Myers andrewcmyers

Follow

Professor of computer science at Cornell University. Works on programming languages and security.

123 followers · 12 following

Cornell University
Ithaca, NY, USA
http://www.cs.cornell.edu/andru
@AndrewCMyers

Achievements

Achievements

Highlights

Pro

Organizations

Block or report andrewcmyers

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note:

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Overview Repositories 28 Projects 0 Packages 0 Stars 10

More

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All JavaScript Java Perl Standard ML HTML Haskell C Python C++

Sort Last updated

Select order

Last updated Name Stars

constrain Public

Responsive, animated figures in JavaScript/HTML canvases

javascript html constraints web-pages animated-figures embedded-figures

JavaScript 132 2 MIT License Updated Feb 2, 2025
maybe Public

A better maybe for Java (better than Optional)

Java 2 Updated Jan 5, 2025
easyIO Public

Support for better Java IO and parsing

Java 1 1 Updated Jan 5, 2025
oodds Public

Object-Oriented Design and Data Structures

JavaScript 5 3 Updated Dec 29, 2024
civs Public

Condorcet Internet Voting System

perl web-application election voting-server polling

Perl 92 27 MIT License Updated Dec 28, 2024
roll Public

Dice-rolling language

Standard ML 4 1 Updated Dec 19, 2024
SIGPLAN.github.io Public
Forked from SIGPLAN/SIGPLAN.github.io

SIGPLAN website

HTML Updated Nov 22, 2024
bibweb Public

Flexible HTML bibliography generator that allows overlaying BibTeX input with additional annotations and user-defined macros

Java 6 Eclipse Public License 1.0 Updated Oct 16, 2024
prelatex Public

LaTeX preprocessor

Java 8 Updated Jan 9, 2024
lwon Public

LightWeight Object Notation

Java 3 Updated Jun 13, 2023
sherrloc Public

SHErrLoc constraint solver and error localizer

Haskell 5 1 Updated Apr 25, 2023
MakePassword Public

Password generator for Android devices

Java 2 Mozilla Public License 2.0 Updated Apr 8, 2023
pclu Public
Forked from npe9/pclu

The portable clu compiler

C Other Updated Aug 7, 2022
plcrypt Public

Programming Languages/Cryptography workshop

HTML Updated May 31, 2022
jsPDF Public
Forked from parallax/jsPDF

Client-side JavaScript PDF generation for everyone.

JavaScript MIT License Updated Apr 14, 2022
splitdefs Public

Generating .h files for more precise dependencies in C/C++ projects and more parsimonious recompilation

C 1 1 Updated Mar 23, 2022
reduct-web Public

Website for the Reduct game

HTML GNU General Public License v3.0 Updated Mar 2, 2022
xsokoban Public

Sokoban game for X Windows

C 3 1 Updated Feb 17, 2022
relplot Public

The relation plotter

HTML 2 Updated Jan 9, 2022
charlotte-public Public
Forked from isheff/charlotte-public

Public release of the Charlottte gRPC / Java Source Code

Java MIT License Updated Oct 6, 2021
CSrankings Public
Forked from emeryberger/CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

Python Other Updated Nov 18, 2020
trim-captions Public

Simple script for converting caption formats along with deleting video segments

Perl Updated Aug 16, 2020
reveal.js Public
Forked from hakimel/reveal.js

The HTML Presentation Framework

JavaScript MIT License Updated Jul 25, 2019
utf8math Public

Fairly comprehensive UTF-8 support for LaTeX (not via inputenc)

Java 2 Updated Sep 2, 2018
Math-Seminar-Project Public
Forked from vivekmyers/Math-Seminar-Project

Newton-Raphson Convergence

Java Updated Apr 4, 2018
multilist Public

An Android checklist app that allows arbitrary acyclic dependencies

Java 1 GNU General Public License v3.0 Updated Feb 16, 2018
tensorflow Public
Forked from tensorflow/tensorflow

Computation using data flow graphs for scalable machine learning

C++ 2 Apache License 2.0 Updated Oct 4, 2017
T-SNE-Java Public
Forked from lejon/T-SNE-Java

Pure Java implementation of Van Der Maten and Hinton's t-sne clustering algorithm

Java Updated May 24, 2017

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.