84 Open source projects that are alternatives of or similar to Acl2

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

www.imandra.ai

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

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

A script for running TLA+/TLC from the command line

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

Solutions for the book "Language Proof and Logic".

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.

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 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 curated list of awesome philosophy

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

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

Read-only mirror of the Klever Git repository

A core language for rule-based hardware design 🦑

Version 2 of my Crazy Small CPU

A modular sat/smt solver with proof output.

Experimental Smart Contracts In Plutus.

TypeDB: a strongly-typed database

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

Move your mouse, generate code from flow chart

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

A list of philosophy books and resources.

Verification framework and tool for higher-order Scala programs