Similar repositories to kompics/kompics-scala:
kompics/kompics-scala
github
similar
ubuntu/microk8s
github
similar
danistefanovic/build-your-own-x
github
similar
superfly/litefs
github
similar
motemen/gore
github
similar
kompics/kompics
github
similar
tootsuite/mastodon
github
similar
precog/quasar
github
similar
yandex/YaLM-100B
github
similar
zalando/connexion
github
similar
hecrj/iced
github
similar
pixijs/pixi.js
github
similar
gregsramblings/google-cloud-4-words
github
similar
k6io/k6
github
similar
losfair/mvsqlite
github
similar
senorcarbone/zeppelics
github
similar
colin-adams/idris-libmicrohttpd
github
similar
kompics/basic-abstractions
github
similar
javgh/bitcoin-rpc
github
similar
javgh/watchdog
github
similar
Spinoco/fs2-zk
github
similar
elpinal/rain-ml
github
similar
trommler/VeriGHC
github
similar
heyrutvik/nbe-a-tutorial
github
similar
Lapin0t/induction-recursion
github
similar
BitTigerInst/MonkeyKing_crawler_recommender
github
similar
rystsov/fast-jepsen
github
similar
certichain/network-transformations
github
similar
pfnet-research/pml
github
similar
ayberkt/Mini-TT
github
similar
nbenton/x86proved
github
similar
srdqty/talc-3.0
github
similar
meta-logic/coq-ll
github
similar
fsestini/tt-in-cubical
github
similar
ocaml-multicore/kcas
github
similar
wpaxos/paxi
github
similar
epfldata/dbstage
github
similar
smimram/catt
github
similar
mandubian/khats
github
similar
ziman/itt
github
similar