93 Open source projects that are alternatives of or similar to SMCDEL

A digital logic simulator

A JavaScript propositional logic and resolution library

Move your mouse, generate code from flow chart

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.

Build and evaluate JsonLogic with React components

A Mathematica package for generating symbolic models from data

Functional relational programming for Clojure(Script).

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.

Fitch style proof constructor

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

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

TypeDB: a strongly-typed database

Version 2 of my Crazy Small CPU

The Flix Programming Language

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.

OpenNARS for Research 3.0+

TypeDB: a strongly-typed database

An efficient graph solver for generating well-formed models

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

Logic Circuits from the Juice library

A list of philosophy books and resources.

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

A curated list of awesome philosophy

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

Examples of not obvious behaviors for javascript beginner programmers

LoMRF is an open-source implementation of Markov Logic Networks

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

Read-only mirror of the Klever Git repository

A digital logic designer and circuit simulator.

Solutions for the book "Language Proof and Logic".

Final Year Masters Project: modal logic solver tableaux

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

λΠ Programming Language Theory

Memory consistency modelling using Alloy

Curated list of Prolog packages and resources

Experimental Smart Contracts In Plutus.

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

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

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

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

Digital circuit learning platform

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

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

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

Haskell bindings for PicoSAT solver

Different TLA+ specifications, mostly for learning purposes

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

ACL2 System and Books as Maintained by the Community

INACTIVE: Move your mouse, generate code from flow chart

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

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

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

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

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

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

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

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

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

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