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