Jay McCarthy Jay McCarthy's Open Source Contributions


takikawa/racket-ppa
Ubuntu PPA packaging for Racket (based on http://anonscm.debian.org/gitweb/?p=collab-maint/racket...
Racket - Last pushed - 0 stars
juanfra684/racket-musl
Racket - Last pushed - 0 stars
juanfra684/racket-sparc
Racket - Last pushed - 0 stars
samth/plt-history
Historical archive of Racket source
Racket - Last pushed - 0 stars
juanfra684/racket-travis-test
Racket - Last pushed - 0 stars - 1 forks
takikawa/abstract-methods
Fork of plt for developing abstract methods.
Racket - Last pushed - 3 stars - 1 forks
gmarceau/PLT
Racket - Last pushed - 2 stars
agocke/racket
Racket clone for random contract testing
Racket - Last pushed - 3 stars - 1 forks
rfindler/395-2013
Coq - Last pushed - 6 stars - 8 forks
Goldenreck/RetroArch
C - GPL-3.0 - Last pushed - 1 stars
YggDrazil/RetroArch
C - GPL-3.0 - Last pushed - 1 stars - 1 forks
samth/frtime-split-history
Racket - Other - Last pushed - 0 stars
maxsnew/Redex-Enum-Paper
Racket - Last pushed - 0 stars
ericmercer/MP-trace-language
A trace language for using SMT solvers to verify executions of message passing programs.
TeX - Last pushed - 4 stars - 1 forks
paulstansifer/redex
Racket - Last pushed - 0 stars - 1 forks
DanBurton/racket-interfaces
Typeclass-esque generics for Racket
Racket - Last pushed - 6 stars
mntmn/interim
The Interim Operating System
C - Last pushed - 484 stars - 33 forks
samth/old-plt
The very old history of Racket
Scheme - Last pushed - 3 stars
emeryberger/CSrankings
A web app for ranking computer science departments according to their research output in selectiv...
Python - Other - Last pushed - 1.16K stars - 913 forks
ChaseWhite3/linear-logic
Racket - Last pushed - 4 stars
rmculpepper/ppict
progressive picts
Racket - Other - Last pushed - 0 stars - 1 forks
githubtest20141111/zeromq_example
C - Other - Last pushed - 0 stars
hloople/BigCrunch
Racket - Last pushed - 2 stars - 1 forks
Mo-oc/ZeroMQ
PHP - Other - Last pushed - 0 stars
puzan/org-mode
Fork of git://orgmode.org/org-mode.git
Emacs Lisp - GPL-3.0 - Last pushed - 0 stars
ranjoy/vut
C - Other - Updated - 0 stars
gordienkos/org-mode
Emacs org-mode
Emacs Lisp - GPL-3.0 - Last pushed - 0 stars
slitvinov/org-mode
org-mode clone
Emacs Lisp - GPL-3.0 - Last pushed - 0 stars
yyr/org-mode
personal copy of org-mode
Emacs Lisp - GPL-3.0 - Last pushed - 11 stars - 17 forks
aJchemist/org-mode
aJchemist custom version of org-mode.
Last pushed - 0 stars