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