Similar repositories to rljacobson/WAM:
rljacobson/WAM
github
similar
sarsko/CreuSAT
github
similar
mit-frap/spring18
github
similar
srikumarks/FD.js
github
similar
jldupont/prolog.js
github
similar
kovvalsky/LangPro
github
similar
mietek/charity-lang
github
similar
cpitclaudel/alectryon
github
similar
SomewhatML/sml-compiler
github
similar
yamafaktory/hypergraph
github
similar
rkirsling/modallogic
github
similar
digama0/mm0
github
similar
latte-central/LaTTe
github
similar
mathigon/textbooks
github
similar
rntz/datafun
github
similar
the-little-prover/j-bob
github
similar
tolmasky/language
github
similar
jscoq/jscoq
github
similar
fatiherikli/language-evolution-simulation
github
similar
substack/node-falafel
github
similar
Kixiron/rust-langdev
github
similar
probmods/webppl
github
similar
waylonflinn/weblas
github
similar
matijapretnar/eff
github
similar
OpenLogicProject/OpenLogic
github
similar
jasondavies/science.js
github
similar
felixge/node-memory-leak-tutorial
github
similar
chaosprint/glicol
github
similar
jbangert/trapcc
github
similar
scijs/ndarray
github
similar
jneen/parsimmon
github
similar
idevelop/ascii-camera
github
similar
typelevel/spire
github
similar
hypotext/notation
github
similar
dafny-lang/dafny
github
similar
jackaudio/jack2
github
similar
google/souper
github
similar
sharkdp/cube-composer
github
similar
TimelyDataflow/differential-dataflow
github
similar
retextjs/retext
github
similar