Lists (2)
Sort Name ascending (A-Z)
Stars
A gently curated list of companies using verification formal methods in industry
Master programming by recreating your favorite technologies from scratch.
Example of using C classes from Java. Showcases SWIG, JNA and JNI
Quantomatic is a tool for doing automated graph rewriting.
Logical manifestations of topological concepts, and other things, via the univalent point of view.
A demo implementation of a simple dependently-typed language
Learn the Agda basics in three 2-hour sessions.
A curated list of amazingly awesome Haskell articles and talks for beginners.
A prototypical dependently typed languages with sized types and variances
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
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
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source