Similar repositories to michaelpradel/ConTeGe:
michaelpradel/ConTeGe
github
similar
precog/quasar
github
similar
danistefanovic/build-your-own-x
github
similar
Baccata/yausl
github
similar
ksen007/calfuzzer
github
similar
carlocastoldi/PacmanLogger
github
similar
VirtusLab/infrastructure-as-types
github
similar
scala-native/scala-native-bindgen
github
similar
typedbyte/effet
github
similar
euisuny/best-of-popl
github
similar
janstenpickle/extruder
github
similar
apollographql/apollo-scalajs
github
similar
OpenPAL/TypeAndProof
github
similar
HoTT/EPIT-2020
github
similar
aatxe/oxide
github
similar
chrismattmann/MLwithTensorFlow2ed
github
similar
michaelpradel/DeepBugs
github
similar
mandubian/neurocat
github
similar
japgolly/clear-config
github
similar
leobenkel/ZparkIO
github
similar
vusec/parmesan
github
similar
revapi/revapi
github
similar
jenkinsci/github-branch-source-plugin
github
similar
brendangregg/bpf-perf-workshop
github
similar
SpoonLabs/astor
github
similar
google/chrome-ssh-agent
github
similar
ThoughtWorksInc/Compute.scala
github
similar
VladKopanev/zio-saga
github
similar
cibotech/evilplot
github
similar
lightbend/paradox
github
similar
VirtusLab/scala-cli
github
similar
simerplaha/SwayDB
github
similar
CyberGrandChallenge/samples
github
similar
ocamllabs/vscode-ocaml-platform
github
similar
elastic/es2unix
github
similar
pavelfatin/typometer
github
similar
higherkindness/mu-scala
github
similar
scrapy-plugins/scrapy-zyte-smartproxy
github
similar
disconcision/fructure
github
similar
scalacenter/scastie
github
similar