SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

📚 Import Bibtex publications and Jupyter Notebook blog posts into your Markdown website or book. 将Bibtex转换为Markdown网站

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

The implementation exercise for the final year finite element course given in the Maths Department of Imperial College London

minimal symbolic model checker & fuzzer

A curated list of awesome Rust checkers

Most influential papers in programming languages

Keep it Simple, Stupid AI Agent and Evolutionary Framework with GEPA, AlphaEvolve, Self Evolve

A model checker and assume/guarantee contract generator for Lustre programs.

Generate BPF kernel offload from source code of applications

A dictionary of slovene translations of type-theoretical notions and notions from logic and foundations of mathematics.