daniel gratzer

icon indicating a website link https://www.danielgratzer.com/ icon indicating an email [email protected]

icon location Aarhus icon location I am a researcher interested in type theory and category theory.

Results 9 repositories owned by daniel gratzer
trafficstars

blott

107
Stars
2
Forks
Watchers

An experimental type checker for a modal dependent type theory.

verified publisher icon jozefg

higher-order-unification

158
Stars
5
Forks
Watchers

A small implementation of higher-order unification

verified publisher icon jozefg

hm

73
Stars
1
Forks
Watchers

A small implementation of type inference

verified publisher icon jozefg

learn-tt

1.8k
Stars
98
Forks
Watchers

A collection of resources for learning type theory and type theory adjacent fields.

verified publisher icon jozefg

miniprl

48
Stars
5
Forks
Watchers

A small implementation of a proof refinement logic.

verified publisher icon jozefg

nbe-for-mltt

104
Stars
3
Forks
Watchers

Normalization by Evaluation for Martin-Löf Type Theory

verified publisher icon jozefg

pcf

109
Stars
8
Forks
Watchers

A small compiler for PCF

verified publisher icon jozefg

undergraduate-thesis

15
Stars
1
Forks
Watchers

A discouraging story.

verified publisher icon jozefg

wiki-summary.el

26
Stars
7
Forks
Watchers

Get summaries of wikipedia articles in Emacs

verified publisher icon jozefg