Similar repositories to aeri/Boreas:
aeri/Boreas
github
similar
danistefanovic/build-your-own-x
github
similar
expnkx/fast_io
github
similar
tootsuite/mastodon
github
similar
jart/blink
github
similar
aeri/Noesys
github
similar
zopefoundation/zope.component
github
similar
perone/nanopipe
github
similar
waltligon/orangefs
github
similar
asvitkine/ccons
github
similar
apoelstra/secp256k1-zkp
github
similar
kevinlewi/fastore
github
similar
howerj/embed
github
similar
getodk/central
github
similar
zachallaun/secd
github
similar
trailofbits/zkdocs
github
similar
tromp/AIT
github
similar
lemire/dictionary
github
similar
proxmox/qemu-server
github
similar
davxy/beeos
github
similar
eatonphil/ulisp
github
similar
derekelkins/agda-vim
github
similar
Neopallium/llvm-lua
github
similar
bamboo/idris-cil
github
similar
microsoft/Picnic
github
similar
dimkr/szl
github
similar
openSUSE/kernel
github
similar
factful/ocr_testing
github
similar
orangeduck/LuaAutoC
github
similar
edwinb/idris-php
github
similar
marianoguerra/rst2html5
github
similar
jasonhemann/microKanren
github
similar
andrejbauer/spartan-type-theory
github
similar
rurban/safeclib
github
similar
Agorise/c-ipfs
github
similar
mishoo/SLip
github
similar
arithy/packcc
github
similar
HackerFoo/poprc
github
similar
ronsoros/rvm
github
similar
nick8325/quickspec
github
similar