Similar repositories to spall/rattle-model:

• spall/rattle-model github similar
• jsiek/arete github similar
• umazalakain/CoContextualPi github similar
• TOTBWF/agda-tic-tac-toe github similar
• jsiek/featherweight-C github similar
• umazalakain/agda-bcam github similar
• david-christiansen/todo-list github similar
• jsiek/gradual-typing-in-agda github similar
• andrewrk/zig-async-demo github similar
• banacorn/agda-mode github similar
• DeepSpec/dsss17 github similar
• ndmitchell/rattle github similar
• edwinb/TypeDD-Samples github similar
• NICTA/cogent github similar
• GaloisInc/macaw github similar
• wilbowma/cur github similar
• cpitclaudel/company-coq github similar
• llvm-hs/llvm-hs github similar
• agda/agda-stdlib github similar
• achlipala/frap github similar
• emina/rosette github similar
• the-little-typer/pie github similar
• nrdmn/awesome-zig github similar
• greghendershott/racket-mode github similar
• IUCompilerCourse/Essentials-of-Compilation github similar
• UniMath/UniMath github similar
• sile-typesetter/sile github similar
• google/schism github similar
• agda/agda github similar
• synercys/annotated_latex_equations github similar
• lxc/lxc github similar
• remacs/remacs github similar
• matze/mtheme github similar
• redox-os/redox github similar
• ziglang/zig github similar
• v8/v8 github similar