69 Open source projects that are alternatives of or similar to nunchaku

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

A list of philosophy books and resources.

OpenNARS for Research 3.0+

Logic Circuits from the Juice library

The Flix Programming Language

TypeDB: a strongly-typed database

An efficient graph solver for generating well-formed models

A micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.

Examples of not obvious behaviors for javascript beginner programmers

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

O(N log N)-space IPC solver in OCaml

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

Version 2 of my Crazy Small CPU

A digital logic simulator

Create linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.

Functional relational programming for Clojure(Script).

Move your mouse, generate code from flow chart

A JavaScript propositional logic and resolution library

A ESC/POS Printer Commands Helper

Fitch style proof constructor

Mod for minetest that adds digital circuitry [=minecraft redstone]

Build and evaluate JsonLogic with React components

A predictable state management library that helps implement the BLoC design pattern

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al

TypeDB: a strongly-typed database

2D math / geometry collision library for C#, compatable with monogame.

A digital logic designer and circuit simulator.

Razor is a tool for constructing finite models for first-order theories

Final Year Masters Project: modal logic solver tableaux

Solutions for the book "Language Proof and Logic".

λΠ Programming Language Theory

An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

Curated list of Prolog packages and resources

PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0

TypeQL: the query language of TypeDB - a strongly-typed database

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

📚Solutions to Language, Proof and Logic (2nd Edition)

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Digital circuit learning platform

LaTTe : a Laboratory for Type Theory experiments (in clojure)

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

Switch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.

Haskell bindings for PicoSAT solver

ACL2 System and Books as Maintained by the Community

A free, open source, online digital circuit/logic designer.

A curated list of awesome philosophy

INACTIVE: Move your mouse, generate code from flow chart

Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

truth-table-generator is a tool that allows to generate a truth table

A Free World Class High Performance SAT Solver

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

LoMRF is an open-source implementation of Markov Logic Networks

A symbolic model checker for Dynamic Epistemic Logic.

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

Conjure: The Automated Constraint Modelling Tool

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.