Similar repositories to LPD-EPFL/CS451-2021-project:
LPD-EPFL/CS451-2021-project
github
similar
pocs-epfl/public
github
similar
BlindWar-SDP/BlindWar
github
similar
epfl-SDP/android
github
similar
coast-team/replication-benchmarker
github
similar
epfl-ada/2021
github
similar
zifeo/EPFL
github
similar
Vanlightly/bookkeeper-tlaplus
github
similar
HexHive/thesis_template
github
similar
mmottl/pure-fun
github
similar
lasp-lang/types
github
similar
epfml/ML_course
github
similar
seL4/l4v
github
similar
lasp-lang/lasp
github
similar
tlaplus/Examples
github
similar
rust-crdt/rust-crdt
github
similar
realworldocaml/book
github
similar
typelevel/cats-effect
github
similar
BinaryAnalysisPlatform/bap
github
similar
tlaplus/tlaplus
github
similar
quantopian/research_public
github
similar
typelevel/fs2
github
similar
p-org/P
github
similar
sdiehl/write-you-a-haskell
github
similar
lampepfl/dotty
github
similar
zio/zio
github
similar
fpinscala/fpinscala
github
similar
google-ar/arcore-android-sdk
github
similar
steshaw/plt
github
similar
mdn/learning-area
github
similar
UKPLab/sentence-transformers
github
similar
jepsen-io/jepsen
github
similar
angr/angr
github
similar
google/benchmark
github
similar
google/oss-fuzz
github
similar
theanalyst/awesome-distributed-systems
github
similar
apiaryio/api-blueprint
github
similar
microsoft/language-server-protocol
github
similar
ytisf/theZoo
github
similar
Gallopsled/pwntools
github
similar