Official MINIX sources - Automatically replicated from gerrit.minix3.org

K42 Kernel

An implementation of generic authenticated data structures in OCaml

Mirror/port of ACLP for prolog

A curated collection of high-quality SysMLv2 models. We welcome contributions via pull requests to expand this resource. For questions or assistance on how to contribute, contact us at tautz@se-rwt…

SystemVerilog frontend for Yosys

Course notes for Formalising Mathematics 2025

The VAX/VMS 3.7 (1984) source code.

YoWASP toolchain for Visual Studio Code

Library to convert a FASM file into BELs importable into Vivado.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's

An inductive logic programming system

Operations with matrices, SWI pack

interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)

Small adventure Games Gleaned off the Web such as "Marty's Prolog Adventure Prototype"

Tutorial for the CHR system

A massively parallel, optimal functional runtime in Rust

All pdfs of Victor Eijkhout's Art of HPC books and courses

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

Prover9-mace4 codebase for modernization

Extend Definite Clause Grammars for Prolog by the corresponding parse tree

Computing Answer Sets of First Order Formulas

A logically sound combination of structural resolution wth co-SLD style loop detection