Similar repositories to avigad/isabelle:

• avigad/isabelle github similar
• andriusvelykis/ml-dev github similar
• ss12compilerbau/simple-pascal-compiler github similar
• Spirit-of-Oberon/ProjectOberonV4 github similar
• bobappleyard/pascal-lisp github similar
• mabuchilab/QNET github similar
• seL4/isabelle github similar
• vladfolts/oberonjs github similar
• stepchowfun/theorem-prover github similar
• pdewacht/oberon-risc-emu github similar
• jrh13/hol-light github similar
• lkesteloot/turbopascal github similar
• graemeg/freepascal github similar
• HOL-Theorem-Prover/HOL github similar
• cocagne/paxos github similar
• sharplispers/cormanlisp github similar
• zneak/fcd github similar
• kivy/kivy-designer github similar
• CakeML/cakeml github similar
• webyrd/Barliman github similar
• fukamachi/woo github similar
• KnightOS/KnightOS github similar
• programa-stic/barf-project github similar
• gchp/iota github similar
• leanprover/lean github similar
• mathics/Mathics github similar
• luispedro/BuildingMachineLearningSystemsWithPython github similar
• facebookarchive/pfff github similar
• tdebatty/java-string-similarity github similar
• zyantific/zydis github similar
• zzw922cn/Automatic_Speech_Recognition github similar
• snabbco/snabb github similar
• tectonic-typesetting/tectonic github similar
• plasma-disassembler/plasma github similar
• RPISEC/Malware github similar
• SystemErrorWang/White-box-Cartoonization github similar
• mlpack/mlpack github similar
• accord-net/framework github similar
• realpython/discover-flask github similar
• hylang/hy github similar