65 Open source projects that are alternatives of or similar to haskell-picosat

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

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.

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

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.

Move your mouse, generate code from flow chart

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

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

GAPT: General Architecture for Proof Theory

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

A digital logic simulator

Functional relational programming for Clojure(Script).

TypeDB: a strongly-typed database

A fast SAT solver

A list of philosophy books and resources.

ACL2 System and Books as Maintained by the Community

Examples of not obvious behaviors for javascript beginner programmers

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.

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

Build and evaluate JsonLogic with React components

The Flix Programming Language

A curated list of awesome philosophy

OpenNARS for Research 3.0+

Model finder for higher-order logic

Experimental minisat SAT solver reimplementation in Rust

An efficient graph solver for generating well-formed models

A JavaScript propositional logic and resolution library

A modular sat/smt solver with proof output.

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

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

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

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

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

INACTIVE: Move your mouse, generate code from flow chart

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

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

Solutions for the book "Language Proof and Logic".

TypeDB: a strongly-typed database

LoMRF is an open-source implementation of Markov Logic Networks

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

A digital logic designer and circuit simulator.

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

Final Year Masters Project: modal logic solver tableaux

Access to all MiniZinc functionality directly from Python

λΠ Programming Language Theory

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

Curated list of Prolog packages and resources

A simple SAT solver that implements the DPLL algorithm with unit resolution

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

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

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

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

Digital circuit learning platform

A symbolic model checker for Dynamic Epistemic Logic.

A (parametrized) Rust SAT solver originally based on MiniSat

Fitch style proof constructor

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

Desenvolvimento e produção de um picossatélite para realizações de medições atmosféricas e envio de telemetria por RF.

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

Version 2 of my Crazy Small CPU