andrejbauer Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-categories

A new Categories library for Agda

agda-writer

A simple GUI wrapper for Agda

alg

Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.

andromeda

A minimalist implementation of type theory, suitable for experimentation

backpropagation-eff

Computation with back propagation of precision in eff

backup

Remote backups using ssh and rsync.

book

A textbook on informal homotopy type theory

chit_chat

chitchat

A small Java chat server

chitchat-1

Projekt pri predmetu Programiranje 2.

clerical

Command-like expressions for real infinite-precision calculations

coop

A prototype programming language for programming with runners

coq_graph

costa-surface

Triangulation of Costa's minimal surface with normals, suitable for PovRay rendering

dedekind-reals

A formalization of the Dedekind reals in Coq

dependent-type-theory-syntax

An Agda formalization of raw syntax for dependent type theory

dodgem

Project for course Programiranje 2.

dots_and_boxes

Projektna naloga pri Programiranju 2.

drugacen_4_v_vrsto

Igra podobna 4 v vrsto.

eff

A functional programming language based on algebraic effects and their handlers.

effects-bibliography

Work related to algebraic effects and handlers

fakebook

Totally unlike the other site

flood-it

formal-type-theory

Formalising Type Theory in a modular way for translations between type theories

formalabstracts

formaltt

Formalization of type theory

haskell-fast-reals

A fast implementation of real numbers in Haskell

hex

Board game hex.

higher-rank-syntax