-
Updated
Jul 12, 2015 - OCaml
#
logic
Here are 1,640 public repositories matching this topic...
A simple analyzer which can check if the given WFF is valid and do a little calculate.
-
Updated
Apr 18, 2017 - C++
A generator for 'Portia's Caskets'
-
Updated
Jun 13, 2018 - Python
Interpreter for the Daki logic programming language
-
Updated
Apr 16, 2023 - Ruby
Programs for Test Concepts
-
Updated
Jul 12, 2018 - Common Lisp
LPS Language Package for Atom Editor
-
Updated
Aug 13, 2018
RGBit Mix - Logical Color Mixing Browser Game
-
Updated
Aug 30, 2019 - JavaScript
Tool for practicing propositional logic proofs.
-
Updated
Jul 20, 2022 - TypeScript
⚡ A logic gate sandbox... in the browser!
-
Updated
Aug 1, 2020 - TypeScript
Improve this page
Add a description, image, and links to the logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."