104 Open source projects that are alternatives of or similar to awesome-rust-formalized-reasoning

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

Resolution theorem proving for predicate logic in pure Python.

Cicada Language

TypeDB: a strongly-typed database

An SMT Solver for string constraints

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

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

TypeDB: a strongly-typed database

OpenNARS for Research 3.0+

A list of philosophy books and resources.

An efficient graph solver for generating well-formed models

A digital logic simulator

Move your mouse, generate code from flow chart

Functional relational programming for Clojure(Script).

Algebraic proof discovery in Agda

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

A JavaScript propositional logic and resolution library

Logic Circuits from the Juice library

Fitch style proof constructor

An inference engine for extensional untyped λ-calculus

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

Examples of not obvious behaviors for javascript beginner programmers

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

Build and evaluate JsonLogic with React components

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

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

λΠ Programming Language Theory

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

Curated list of Prolog packages and resources

Read-only mirror of the Klever Git repository

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

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

📚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

ACL2 System and Books as Maintained by the Community

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

Book: Gentle Introduction to Dependent Types with Idris

Haskell bindings for PicoSAT solver

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

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

A curated list of awesome philosophy

INACTIVE: Move your mouse, generate code from flow chart

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

Version 2 of my Crazy Small CPU

LoMRF is an open-source implementation of Markov Logic Networks

Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch

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

Model finder for higher-order logic

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

Fully proved small C functions (examples for verification course).

A symbolic model checker for Dynamic Epistemic Logic.

A digital logic designer and circuit simulator.

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

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

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.

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

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.

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