Pinned Repositories
ChakraCore
ChakraCore is an open source Javascript engine with a C API.
hhvm
A virtual machine for executing programs written in Hack.
gecko-dev
Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: https://firefox-source-docs.mozilla.org/contributing/contribution_quickref.html
codejudge
host coding competitions anywhere, anytime
flipflops
a simple server deployment tool
grite
static blogging framework for hackers
rbsyn
Program synthesis for Ruby
shakydraw
Beautiful hand-drawn block diagrams from plain text
servo
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
wpt
Test suites for Web platform specs — including WHATWG, W3C, and others
ngsankha's Repositories
ngsankha/rbsyn
Program synthesis for Ruby
ngsankha/codejudge
host coding competitions anywhere, anytime
ngsankha/rustynode
JavaScript runtime in Rust
ngsankha/scheme-compiler
compile scheme -> x86-64
ngsankha/anti-freebasics
anti-free basics campaign website
ngsankha/absynthe
synthesis guided by abstract interpretation
ngsankha/absynthe-rust
ngsankha/anosy
ngsankha/eecs700
EECS 700: Intro to Program Synthesis
ngsankha/feed-mailer
RSS -> email
ngsankha/lazyz3.rb
Manipulate Z3 ASTs lazily
ngsankha/neuron-networks
Network biology class project
ngsankha/ngsankha.github.io
my homepage
ngsankha/rdl
Types, type checking, and contracts for Ruby
ngsankha/662-interpreters
Interpreters developed in EECS 662
ngsankha/code-dot-org
The code powering code.org and studio.code.org
ngsankha/compytype
ngsankha/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
ngsankha/databrary
behavioral science research media data sharing web application
ngsankha/db-types
ngsankha/eecs662
EECS 662: Programming Languages
ngsankha/fp-solution
Final project solution
ngsankha/huginn
Create agents that monitor and act on your behalf. Your agents are standing by!
ngsankha/ml-type-inf
ngsankha/pldi-19-artifact
ngsankha/quod
jails for programs
ngsankha/ruby-minisat
Ruby binding for MiniSat
ngsankha/rubybib.org
The Ruby Bibliography
ngsankha/twitter
A Ruby interface to the Twitter API.
ngsankha/wikipedia-client
Ruby client for the Wikipedia API