Similar repositories to fh-wedel/bobj:

• fh-wedel/bobj github similar
• ilya-klyuchnikov/sll-meta-haskell github similar
• batterseapower/supercompilation-by-evaluation github similar
• TiarkRompf/Relite github similar
• runarorama/scala-bound github similar
• abstools/abstools github similar
• michel-slm/minikanren-scala github similar
• namin/scalogno github similar
• ilya-klyuchnikov/sc-mini github similar
• djspiewak/derivative-combinators github similar
• namin/logically github similar
• TiarkRompf/lancet github similar
• hraberg/shen.clj github similar
• astampoulis/makam github similar
• harrah/browse github similar
• david-christiansen/pie-hs github similar
• runarorama/scala-machines github similar
• ott-lang/ott github similar
• Shen-Language/shen-sources github similar
• liamoc/learn-you-an-agda github similar
• TiarkRompf/virtualization-lms-core github similar
• typelevel/discipline github similar
• rntz/datafun github similar
• granule-project/granule github similar
• hazelgrove/hazel github similar
• mozart/mozart2 github similar
• scala-graph/scala-graph github similar
• michaelt/martin-lof github similar
• llaisdy/beam_languages github similar
• p2t2/figaro github similar
• matijapretnar/eff github similar
• SodiumFRP/sodium github similar
• feenkcom/gtoolkit github similar
• niklasso/minisat github similar
• NetLogo/NetLogo github similar
• vyzo/gerbil github similar
• nakkaya/ferret github similar
• morganstanley/hobbes github similar
• lihaoyi/Metascala github similar
• tweag/nickel github similar