Similar repositories to jetho/SECD-Machine:

• jetho/SECD-Machine github similar
• jetho/Implementing-functional-languages github similar
• kragen/urscheme github similar
• hanshuebner/secd github similar
• cilkplus/llvm github similar
• inforichland/freezing-spice github similar
• Spirit-of-Oberon/ProjectOberon2013 github similar
• charcole/Z3 github similar
• ujamjar/hardcaml github similar
• nrnrnr/qc-- github similar
• ipankajg/ceed github similar
• sweirich/tal github similar
• vishaps/voc github similar
• elm-lang/elm-repl github similar
• gsp-lang/gsp github similar
• kimtg/arcadia github similar
• darius/ichbins github similar
• smarr/RoarVM github similar
• RobertElderSoftware/recc github similar
• acl2/acl2 github similar
• chrisdone/z github similar
• eudoxia0/magma github similar
• stribika/stribika.github.io github similar
• haskus/haskus-system github similar
• kragen/stoneknifeforth github similar
• nim-lang/Aporia github similar
• parallella/parallella-examples github similar
• ucb-bar/chisel2-deprecated github similar
• pikatchu/LinearML github similar
• joxa/joxa github similar
• pbhogan/Signals github similar
• jcla1/gisp github similar
• eratosthenesia/lispc github similar
• shurcooL-legacy/Conception github similar
• lpsantil/rt0 github similar
• dom96/nimkernel github similar
• andoma/vmir github similar
• artagnon/rhine-ml github similar
• ark-lang/ark github similar
• CakeML/cakeml github similar