Similar repositories to theoremprover-museum/OMEGA:

• theoremprover-museum/OMEGA github similar
• tootsuite/mastodon github similar
• jbalint/banshee-sympatico github similar
• SWI-Prolog/contrib-protobufs github similar
• ReactTraining/react-router github similar
• hpan-hml/hml-km-graniteloom github similar
• aindilis/freekbs2 github similar
• theoremprover-museum/clam3 github similar
• RuiPChaves/SBCG github similar
• jespercockx/telescopic github similar
• GPPassos/computational-semantics github similar
• logicmoo/s_expression github similar
• own-pt/cl-krr github similar
• PaulBrownMagic/SitCalc github similar
• sto0pkid/CategoryTheory github similar
• slburson/PTTP github similar
• SWI-PrologTeamLudumDare32/prolog-ludumdare44 github similar
• logicmoo/sigma_ace github similar
• finin/pfc github similar
• logicmoo/pfc github similar
• simularity/JavaPengine github similar
• zick/ImplOfR6RSAppA github similar
• jonsterling/agda-effectful-forcing github similar
• AndrasKovacs/misc-stuff github similar
• logicmoo/programk github similar
• logicmoo/logicmoo_nlu github similar
• logicmoo/logicmoo_ec github similar
• Saizan/parametric-demo github similar
• balint99/sfpl github similar
• logicmoo/CYC_JRTL_with_CommonLisp github similar
• white-flame/clyc github similar
• nilqed/SNARK github similar
• JanWielemaker/sCASP github similar
• logicmoo/logicmoo_clif github similar
• EduardoRFS/ocaml-jit-example github similar
• L-TChen/ModalTypeTheory github similar
• tkuhn/AceRules github similar
• agda/ooAgda github similar
• AndrasKovacs/stlc-nbe github similar
• andreasabel/ipl github similar