Logical manifestations of topological concepts, and other things, via the univalent point of view.

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

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

Master programming by recreating your favorite technologies from scratch.

The missing bridge between Java and native C++

Example of using C++ classes from Java. Showcases SWIG, JNA and JNI

A textbook on informal homotopy type theory

Quantomatic is a tool for doing automated graph rewriting.

Selected Papers of Dana S. Scott

A demo implementation of a simple dependently-typed language

A modern LaTeX Beamer theme

Learn the Agda basics in three 2-hour sessions.

Script to download all of Hackage

Blog post previews in need of peer review

A curated list of amazingly awesome Haskell articles and talks for beginners.

Free Client for OneDrive on Linux

A prototypical dependently typed languages with sized types and variances

Converts Microsoft Word docx to LaTeX

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

Ported TORSCHE Scheduling toolbox for MATLAB 2015 and newer.

Curso de Análisis de Algoritmos a nivel de posgrado, empleando las herramientas Jupyter Notebook y programado en Python V3.8

A Library for Classical Propositional Logic in Agda

Metis Prover Reasoning for Propositional Logic in Agda

Translates Metis ATP proofs to the Agda code

Haskell Research Compiler

check links in web documents or full websites

A graphical tool for profiling parallel Haskell programs

An automatic theorem prover for first order logic with equality