andrejbauer

unison

Unison file synchronizer

book

A textbook on informal homotopy type theory

owl

Owl - OCaml Scientific Computing @ https://ocaml.xyz

Arend

The Arend Proof Assistant

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

cubicaltt

Experimental implementation of Cubical Type Theory

smalltt

Demo for high-performance type theory elaboration

agda-categories

A new Categories library for Agda

HoTT-Intro

An introductory course to Homotopy Type Theory

xena

Lean Library currently studying for a degree at Imperial College

TypeTopology

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

agda-unimath

The agda-unimath library

scott

Selected Papers of Dana S. Scott

RFCs

Design discussions about the OCaml language

superperm

catlog

Categorical logic from a categorical point of view

javascript-camera

Access device cameras via JavaScript APIs

general-type-theories

A (formalised) general definition of type theories

millet

A ML-like pure functional language that can be used as a template for creating your own language

nadlogar

Spletna storitev za generiranje nalog

pca-realizability

Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.

mlgmpidl

OCaml interface to the GMP library

hott-species

Combinatorial species in HoTT

lean4export

Plain-text declaration export for Lean 4

domain-theory-in-uf

joyal

mlmpfr

OCaml bindings for MPFR

wordpress2jekyll

Export from a WordPress blog to Jekyll.

webgl-julia-viewer

Real-time Julia Set renderer right in your browser, accelerated with WebGL

hydraHTML5