The best C-like language that can be implemented in 10kLOC.

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

Keep it Simple, Stupid AI Agent Framework with KISS Sorcar (a possible replacement of Cursor)

📚 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

A multi-formalism, multi-solution model-checker centered on the language GAL

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

A hyperintensional theorem prover for rapidly prototyping modular semantic theories

Generate BPF kernel offload from source code of applications