Similar repositories to JetBrains-Research/CoFRA:
JetBrains-Research/CoFRA
github
similar
danistefanovic/build-your-own-x
github
similar
clayrat/coq-foata
github
similar
sequents/code
github
similar
mtt-lang/mtt-lang
github
similar
VSharp-team/VSharp
github
similar
YaccConstructor/YaccConstructor
github
similar
PositiveTechnologies/PT.PM
github
similar
anton-trunov/coq-lecture-notes
github
similar
impworks/lens
github
similar
uds-psl/coq-library-undecidability
github
similar
math-comp/analysis
github
similar
ftomassetti/kanvas
github
similar
yairchu/awesome-structure-editors
github
similar
instead-hub/instead
github
similar
JetBrains-Research/astminer
github
similar
jamii/imp
github
similar
true-grue/Compiler-Development
github
similar
Kotlin/kotlin-spec
github
similar
rems-project/sail
github
similar
tchajed/coq-tricks
github
similar
src-d/enry
github
similar
JetBrains/Arend
github
similar
CakeML/cakeml
github
similar
CatalaLang/catala
github
similar
vmware/differential-datalog
github
similar
andrejbauer/plzoo
github
similar
flix/flix
github
similar
zetzit/zz
github
similar
NASA-SW-VnV/ikos
github
similar
adamhathcock/sharpcompress
github
similar
tweag/asterius
github
similar
TimelyDataflow/differential-dataflow
github
similar
koka-lang/koka
github
similar
idris-lang/Idris-dev
github
similar
harc/ohm
github
similar
src-d/awesome-machine-learning-on-source-code
github
similar
github/semantic
github
similar
Z3Prover/z3
github
similar
github/linguist
github
similar