Lists (32)
3D Modelling
3 repositories
Audio Processing
1 repository
Coq
6 repositories
Emacs
3 repositories
Game Development
5 repositories
Games
1 repository
GIS
3 repositories
GUI
1 repository
Haskell
2 repositories
Interactive Fiction
4 repositories
JavaScript
3 repositories
Minecraft
1 repository
NLP
8 repositories
OCaml
2 repositories
Operating Systems
2 repositories
Perl
1 repository
Procgen
7 repositories
Programming Languages
4 repositories
Raytracing
3 repositories
Retro
17 repositories
Retro - GB
2 repositories
Retro - Megadrive
3 repositories
Retro - MSX
17 repositories
Retro - NDS
1 repository
Retro - NES
Retro - SMS/GG
1 repository
Roguelike
7 repositories
Rust
4 repositories
Standard ML
Twelf
2 repositories
Type Systems
2 repositories
Web Development
3 repositories
Stars
8
results
for forked starred repositories
Clear filter
ELLIOTTCABLE / bs-deriving
Forked from ocaml-ppx/ppx_derivingType-driven code generation for OCaml, ReasonML, and BuckleScript
philzook58 / FlapPyBird-MPC
Forked from sourabhv/FlapPyBirdModel Predictive Control of a Flappy Bird Clone using Mixed Integer Programming
axismaps / contours
Forked from awoodruff/contoursDraws contour maps from terrain tiles, using d3-contour
nikomatsakis / rust-redex
Forked from jbclements/rust-redexA Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
smihica / emmet-mode
Forked from rooney/zencodingemmet's support for emacs.
jswebtools / language-ecmascript
Forked from brownplt/webbitsHaskell library: ECMAScript parser, pretty-printer and additional tools
eddbiddulph / yquake2
Forked from yquake2/yquake2The Yamagi Quake II client (+pathtracing)