There are no reviews yet. Be the first to send feedback to the community and the maintainers!
plzoo
Programming Languages Zoohomotopy-type-theory-course
A course on homotopy theory and type theory, taught jointly with Jaka Smrekarspartan-type-theory
Spartan type theorymarshall
Real number computation softwareHomotopy
Homotopy theory in Coq.alg
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.notes-on-realizability
Lecture notes on realizabilitymathematics-and-computation
Andrej Bauer's blog "Mathematics and Computation"what-is-algebraic-about-algebraic-effects
social-distancing-simulator
An artificial simulation of social distancing in the time of an epidemic.clerical
Command-like expressions for real infinite-precision calculationsminiLCF
A bare-bones LCF-style proof assistanthigher-rank-syntax
simple-random-art
A simple implementation of Random art in Python. Suitable for teaching and experiments.repl-in-browser
Implementation of a language interpreter in the browser, using js_of_ocaml.mathematical-stories
Mathematical storieshydra
The combinatorial Hydra gamekmeans
A demonstration of Ocaml modules & functors for machine learning.zeroes
Programs for computing beautiful pictures and animations of zeroes of polynomials.rz
A tool for automatic generation of specifications based on realizability theorydependent-type-theory-syntax
An Agda formalization of raw syntax for dependent type theoryppj-skripta
Zapiski pri predmetu Principi programskih jezikovformalized-mathematics-in-lean
A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25slack-to-discord
Transfer Slack archives to a Discord server on a per-channel basiscosta-surface
Triangulation of Costa's minimal surface with normals, suitable for PovRay renderingucbenik-logika-in-mnozice
Učbenik za predmet Logika in množice na Fakulteti za matematiko in fiziko, Univerza v Ljubljanilvr-sat
SAT solver (for teaching purposes in the course Logic in computer science)lvr-coq
Coq related material for the Logic in computer science courselean2sexp
Convert Lean .olean files to s-expressionsthe-daily-algebra
The daily algebra fact.jurij
A simple Python application for drawing graphs, useful for teaching and experiments.backup
Remote backups using ssh and rsync.TopologyPrimerTest
A test before showing a Lean project to studentsLove Open Source and this site? Check out how you can help us