Similar repositories to eval-so/frontend:
eval-so/frontend
github
similar
Ralith/quasigroup-completion
github
similar
kmein/telegram-ciphers
github
similar
danopia/code
github
similar
eval-so/clj-client
github
similar
relrod/GoogleCalculator-scala
github
similar
eval-so/minibcs
github
similar
causal-agent/rcmp
github
similar
jonsterling/Agda-Sheaves
github
similar
LeifW/online-typechecker
github
similar
IanOrton/decomposing-univalence
github
similar
SimonJF/IdrisNet
github
similar
mankyKitty/idris-webgl
github
similar
Planeshifter/SVD
github
similar
jazzido/PacketDroid
github
similar
kik/Four-Color-Theorem-Maintenance
github
similar
Heather/Idris.Yaml
github
similar
giorgidze/HCodecs
github
similar
bacam/coqjvm
github
similar
orca-lang/orca
github
similar
edwinb/Eff-new
github
similar
relrod/rublets
github
similar
MaxOw/Idris-WebGL
github
similar
ge0rg/PacketDroid
github
similar
nmvdw/Three-HITs
github
similar
polyphony-ot/polyphony-js
github
similar
reynir/Verified
github
similar
ziman/bibdris
github
similar
FranckS/RingIdris
github
similar
andreasdotorg/pdfparser
github
similar
ezyang/lr-agda
github
similar
JacquesCarette/pi-dual
github
similar
idris-hackers/idris-cph-exercises
github
similar
wenkokke/msla2014
github
similar
soenkehahn/dead-code-detection
github
similar
CHTT-s18/lecture-notes
github
similar
groupoid/lean
github
similar
rschroll/litex
github
similar
Operational-Transformation/ot-demo
github
similar
rehno-lindeque/adt.js
github
similar