Similar repositories to RichardEvans/cathoristic-logic:

• RichardEvans/cathoristic-logic github similar
• pixijs/pixi.js github similar
• hecrj/iced github similar
• narrative-ai/narrative-ai github similar
• javiermtorres/ttd_example github similar
• aindilis/cyc-mode github similar
• alexcrichton/cc-rs github similar
• exaloop/codon github similar
• mdeloof/statig github similar
• nasser/cathoristic-logic github similar
• RichardEvans/EL github similar
• lizzb/vc-versu github similar
• Yoxem/Clochur github similar
• adamsmd/paper-towards-the-essence-of-hygiene-expander github similar
• triska/presprover github similar
• lathe/punctaffy-for-racket github similar
• bctnry/mini16 github similar
• ronwalf/Planning github similar
• endoli/curie.rs github similar
• njaard/wordnet-rs github similar
• dannypsnl/little-scheme github similar
• Luukdegram/lion github similar
• Z-Shang/ATP github similar
• xieyuheng/inner github similar
• border-patrol/linear-circuits github similar
• TOTBWF/MLogic github similar
• carl-eastlund/dracula github similar
• chaw/r7rs-libs github similar
• uds-psl/CoqTM github similar
• nachivpn/gluetn github similar
• PttCodingMan/TriangularNim github similar
• wenkokke/swillprover github similar
• 1aim/rust-regex-cache github similar
• thyrgle/vim-dyon github similar
• beerose/proof-checker github similar
• prathyvsh/history-of-lambda-calculus github similar
• gliboc/cast-machine github similar
• elpinal/subtyping-agda github similar
• Trebor-Huang/ZFC github similar
• jsiek/arete github similar