Similar repositories to serprex/Kelxquoia:
serprex/Kelxquoia
github
similar
danistefanovic/build-your-own-x
github
similar
palfrey/clostridium
github
similar
iambrj/metaKanren
github
similar
casvdrest/composable-semantics
github
similar
jdan/compiler.lean
github
similar
carlini/rhoscript
github
similar
CafeOBJ/cafeobj
github
similar
plum-umd/cgc
github
similar
nick8325/twee
github
similar
DimaSamoz/agda-soas
github
similar
namin/pink
github
similar
s-arash/ascent
github
similar
TotallyNotChase/c-iterators
github
similar
subsetpark/pantagruel
github
similar
prathyvsh/Visual-Math-Tools
github
similar
CertiCoq/certicoq
github
similar
batman-nair/IRCIS
github
similar
aatxe/oxide
github
similar
lauryndbrown/Cisp
github
similar
siraben/freenode-exodus
github
similar
ezyang/logitext
github
similar
jspahrsummers/adt
github
similar
chr15m/awesome-clojure-likes
github
similar
Timwi/EsotericIDE
github
similar
davidgiven/cowgol
github
similar
trealla-prolog/trealla
github
similar
seiferteric/qrtun
github
similar
f-prime/arcanevm
github
similar
stedolan/counterexamples
github
similar
johnynek/bosatsu
github
similar
nael8r/How-To-Write-An-LLVM-Register-Allocator
github
similar
clj-commons/ordered
github
similar
nineties/planckforth
github
similar
TartanLlama/vizh
github
similar
mcorbin/meuse
github
similar
jcubic/lips
github
similar
titzer/virgil
github
similar
cesarblum/sectorforth
github
similar
xoreaxeaxeax/reductio
github
similar