logic

Programming Language Theory λΠ

INACTIVE: Move your mouse, generate code from flow chart

TypeDB: a strongly-typed database

Digital logic design tool and simulator

A digital logic designer and circuit simulator.

The Flix Programming Language

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

A digital logic simulator

Curated list of Prolog packages and resources

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

Functional relational programming for Clojure(Script).

OpenNARS for Research 3.0+

The MATH Dataset (NeurIPS 2021)

A list of philosophy books and resources.

ACL2 System and Books as Maintained by the Community

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

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

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

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

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