Similar repositories to julesjacobs/julesjacobs.github.io:
julesjacobs/julesjacobs.github.io
github
similar
pixijs/pixi.js
github
similar
tuvtran/project-based-learning
github
similar
border-patrol/resources
github
similar
brightly-salty/inversify
github
similar
andorp/TaPL
github
similar
robrix/sequoia
github
similar
mb64/poly
github
similar
padsproj/pads-haskell
github
similar
atennapel/tinka-hs
github
similar
dhess/rabbit-scheme
github
similar
csgordon/cayenne
github
similar
ngzhian/ski
github
similar
mietek/epigram2
github
similar
Superstar64/aith
github
similar
mmcqd/datatt
github
similar
lambdageek/unbound-generics
github
similar
david-christiansen/epigram1
github
similar
vmchale/jacinda
github
similar
mroman42/mikrokosmos
github
similar
conal/talk-2021-can-tensor-programming-be-liberated
github
similar
mortberg/yacctt
github
similar
dorchard/type-level-sets
github
similar
ekmett/cadenza
github
similar
ocamllabs/fomega
github
similar
Snektron/pareas
github
similar
sweirich/lambda-n-ways
github
similar
haskell/error-messages
github
similar
luc-tielen/souffle-haskell
github
similar
leanprover/logic_and_proof
github
similar
conal/denotational-hardware
github
similar
luc-tielen/eclair-lang
github
similar
TheoWinterhalter/formal-type-theory
github
similar
andreasabel/miniagda
github
similar
Storyyeller/cubiml-demo
github
similar
adamgundry/type-inference
github
similar
cbiffle/m4vga-rs
github
similar
mit-plv/fiat
github
similar
liamoc/holbert
github
similar
aya-prover/aya-dev
github
similar