A Fitch's style natural deduction proof editor
-
Updated
Sep 25, 2013 - JavaScript
A Fitch's style natural deduction proof editor
Logical programming in JavaScript
A general-purpose mathematics library built with Functional Programming in mind
learnMVC repo is aimed to teach on how to separate the model , view and controller.
Logic circuits simulator
TIY Week 4, Day 2: A JS program for totaling your blackjack hand
Visualizes prerequisite of courses in Bilkent University.
A JavaScript propositional logic and resolution library
FOL Evaluator - a semantic calculator for first order logic
Fuzzy logic library, inlcudes whole FIS process of MAMDANI method
Test your javascript knowledge
A fast, sandboxed micro matching engine with serializable rules.
The missing Model-Controller part for your favorite View library.
Add a description, image, and links to the logic topic page so that developers can more easily learn about it.
To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."