andrejbauer

alg

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

what-is-algebraic-about-algebraic-effects

social-distancing-simulator

An artificial simulation of social distancing in the time of an epidemic.

miniLCF

A bare-bones LCF-style proof assistant

repl-in-browser

Implementation of a language interpreter in the browser, using js_of_ocaml.

mathematical-stories

Mathematical stories

andromeda

A minimalist implementation of type theory, suitable for experimentation

rz

A tool for automatic generation of specifications based on realizability theory

lvr-sat

SAT solver (for teaching purposes in the course Logic in computer science)

HoTT

Homotopy type theory

effects-bibliography

Work related to algebraic effects and handlers

formal-type-theory

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

the-daily-algebra

The daily algebra fact.

agda-categories

A new Categories library for Agda

Schools

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Dodgem

Project for course Programiranje 2.

Dots_and_boxes

Projektna naloga pri Programiranju 2.

Drugacen_4_v_vrsto

Igra podobna 4 v vrsto.

hex

Board game hex.

kuharski-recepti-za-matematike

Primer spletnih strani, narejenih z Markdown v Jekyll in serviranih na GitHub.com

ProjectLess

Prog2 project.

Reversi

Projekt pri predmetu Programiranje2

SnowflipperPenguin

Best card from KFT

staticman

💪 Static sites with superpowers

Three-HITs

All higher inductive types can be obtained from three simple HITs.

tic-tac-toe

Igrica tri v vrsto

urnik

Spletna storitev za prikaz in urejanje urnika

vaje-iz-funkcij

Srednješolske vaje iz funkcij, skupinski projekt pri predmetu Programska oprema pri pouku 2017/18

vislice

Tradicionalna igrica "vislice", ki smo se jo igrali, ko smo bili majhni in še ni bilo pametnih telefonov.