repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
idris-lang/Idris2 | IdrisCScheme | 2k | 0 | 333 | 0 |
edwinb/Yaffle | IdrisCRacket | 80 | 0 | 17 | 0 |
racket/racket | SchemeRacketC | 4.5k | 0 | 633 | 0 |
unisonweb/unison | HaskellSchemeRacket | 5.1k | 0 | 251 | 0 |
racket/zuo | CRacketOther | 166 | 0 | 10 | 0 |
yinwang0/tinyKanren | Racket | 49 | 0 | 22 | 0 |
NorthwesternSoftwareConstructionS22/oracle | RacketShell | 0 | 0 | 7 | 0 |
yinwang0/historical | SchemeRacket | 21 | 0 | 23 | 0 |
deepmind/deepmind-research | Jupyter NotebookPythonRacket | 11.6k | 0 | 2.4k | 0 |
cmsc430/www | RacketCOther | 34 | 0 | 27 | 0 |
nix-community/dream2nix | NixPythonRacket | 448 | 0 | 84 | 0 |
TurtleKitty/Datastore | Racket | 0 | 0 | 0 | 0 |
greghendershott/racket-mode | Emacs LispRacketScheme | 655 | 0 | 84 | 0 |
racketscript/racketscript | RacketJavaScriptOther | 653 | 0 | 31 | 0 |
fukamachi/woo | Common LispRacketShell | 1.2k | 0 | 88 | 0 |
cmugang/dotemacs | Emacs LispCommon LispPerl | 2 | 0 | 0 | 0 |
dyoo/whalesong | RacketJavaScriptOther | 250 | 0 | 30 | 0 |
snskshn/sicp | Racket | 0 | 0 | 0 | 0 |
khibino/haskell-invertible-syntax-parsec | HaskellRacket | 3 | 0 | 0 | 0 |
zyrolasting/racket-koans | Racket | 76 | 0 | 14 | 0 |
racket/rackunit | Racket | 17 | 0 | 24 | 0 |
racket/cext-lib | Racket | 2 | 0 | 3 | 0 |
racket/scheme-lib | Racket | 2 | 0 | 2 | 0 |
gregr/experiments | RacketSchemeHaskell | 9 | 0 | 1 | 0 |
otherjoel/punct | RacketMakefile | 30 | 0 | 4 | 0 |