Similar repositories to theoremprover-museum/otter:

• theoremprover-museum/otter github similar
• theoremprover-museum/prover9 github similar
• input-output-hk/rscoin-haskell github similar
• chriskempson/base16 github similar
• masonmark/Dash-Board-for-Newton-OS github similar
• hanshuebner/vlm github similar
• willdonnelly/dyre github similar
• talw/crisp-compiler github similar
• mnielsen/tiddlylisp github similar
• Beluga-lang/Beluga github similar
• aliceml/aliceml github similar
• darius/ichbins github similar
• melsman/mlkit github similar
• k0ral/hbro github similar
• darius/awklisp github similar
• mmulet/code-relay github similar
• ynniv/vagrant-opengenera github similar
• Xilinx/HLS github similar
• pguyot/Einstein github similar
• urbit/archaeology github similar
• timtylin/scholdoc github similar
• christophgysin/pasystray github similar
• dylan-lang/opendylan github similar
• eclipse/ceylon github similar
• picrin-scheme/picrin github similar
• bmizerany/roundup github similar
• metashell/metashell github similar
• snapframework/snap github similar
• chrisdone/hell github similar
• haskoin/haskoin-core github similar
• aclements/latexrun github similar
• lpsantil/rt0 github similar
• project-iris/iris github similar
• ndmitchell/shake github similar
• CIDARLAB/cello github similar
• CakeML/cakeml github similar
• urweb/urweb github similar
• ocsigen/js_of_ocaml github similar
• cloudozer/ling github similar
• 0intro/plan9 github similar