Popular repositories Loading

1. TriangleCOPA TriangleCOPA Public

   One hundred challenge problems for logical formalizations of commonsense psychology

   27 1

2. DPLL DPLL Public

   Boolean satisfiability for propositional logic in Python

   Python 14 1

3. EtcAbductionPy EtcAbductionPy Public

   An implementation of Etcetera Abduction in Python

   Python 11 3

4. rotodrag-js rotodrag-js Public

   A JavaScript library for one-finger SVG dragging and rotation

   JavaScript 11 1

5. CameraAlignedMaterialPlane CameraAlignedMaterialPlane Public

   Blender add-on for aligning material-based image planes to a camera's viewport

   Python 3

6. EtcAbductionCS EtcAbductionCS Public

   An implementation of Etcetera Abduction in C#

   C# 2