NotBad4U

difftastic

a structural diff that understands syntax 🟥🟩

zellij

A terminal workspace with batteries included

dafny

Dafny is a verification-aware programming language

kani

Kani Rust Verifier

loom

Concurrency permutation testing tool for Rust.

ante

A safe, easy systems language

polyscope

A C++ & Python viewer for 3D data like meshes and point clouds

reanimate

Haskell library for building declarative animations based on SVG graphics

geometry-central

Applied 3D geometry in C++, with a focus on surface meshes.

category-theory-resources

Resources for learning Category Theory for an enthusiast

boogie

Boogie

coq-tricks

Tricks you wish the Coq manual told you

GrowthNodes

A Blender plugin for generative content creation and simulation of organic growth processes on polygonal surfaces.

lawvere

The collected works of F. W. Lawvere

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

Coq-Equations

A function definition package for Coq

RustQIP

Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!

lang-c

Lightweight C parser for Rust

preface

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

animated-curves

An animated visualization of elliptic curve cryptography

ch2o

rivet

RIVET is a tool for Topological Data Analysis, in particular two-parameter persistent homology.

golden-tests

A golden file testing library for rust

carcara

quantum-exo7

Quantum : Un peu de mathématiques pour l'informatique quantique

term-rewriting-rs

a Rust implementation of first-order term rewriting systems (TRS)

colored-diff

XRust

lesniewski-mereology

LesniewskiMereology is a Coq library created by R. Dapoigny and P. Barlatier whose purpose is to implement the alternative to Set Theory of Stanislaw Lesniewski. It is part of an on-going project using the Coq language and called KDTL (Knowledge-based Dependently Typed Language) to build an alternative to Description Logics. The developed theory is close to the analysis of Denis Mieville (1984) in his book "Un developpement des systemes logiques de Stanislaw Lesniewski". It is a theoretical construct which relies on three dependent levels, logic (a.k.a. Protothetic), the Lesniewski Ontologie (LO) and mereology. Each level incorporates a minimal collection of axioms, protothetic and ontologic definitions and a set of theorems together with their intuitionist proofs.