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

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

INACTIVE: Move your mouse, generate code from flow chart

A digital logic simulator

Intrepyd Model Checker

Formal semantics of LLVM IR in K

The Flix Programming Language

The Overture Tool

LoMRF is an open-source implementation of Markov Logic Networks

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

OpenNARS for Research 3.0+

TLA+ language support for Visual Studio Code

A tool for Model Based Testing

Final Year Masters Project: modal logic solver tableaux

Digital circuit learning platform

HACL*, a formally verified cryptographic library written in F*

Haskell bindings for PicoSAT solver

the champagne of beta embedded databases

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

Examples of not obvious behaviors for javascript beginner programmers

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

A gently curated list of companies using verification formal methods in industry

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

A Coq-based synthesis of Scala programs which are correct-by-construction

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Functional relational programming for Clojure(Script).

Z-EVES for linux. Probably the only place you can find it

A symbolic model checker for Dynamic Epistemic Logic.

CoreIR Symbolic Analyzer

The Verifiably Safe Reinforcement Learning Framework

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

Frama-C and WP tutorial

Lean mathematical components library

A JavaScript propositional logic and resolution library

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

Logic Circuits from the Juice library

Meaningful control of data in distributed systems.

Fitch style proof constructor

High-assurance implementation of the Ouroboros protocol family

Jupyter notebooks for tutorial on the Z3 SMT solver

λΠ Programming Language Theory

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

Software Quality Wiki

Build and evaluate JsonLogic with React components

Curated list of Prolog packages and resources

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

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

TypeDB: a strongly-typed database

Links to tools by subject

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

Automated Schedule Generation for Time-Sensitive Networks (TSN).

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

Model finder for higher-order logic

A digital logic designer and circuit simulator.

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

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

TLA+ language support for Visual Studio Code

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

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.

An efficient graph solver for generating well-formed models