Andreas Abel

icon indicating a website link http://www.tcs.ifi.lmu.de/~abel icon indicating an email [email protected]

icon company Chalmers and Gothenburg University icon location Gothenburg, Sweden

Results 4 repositories owned by Andreas Abel

helf

26
Stars
3
Forks
Watchers

Haskell implementation of the Edinburgh Logical Framework

verified publisher icon andreasabel

ipl

19
Stars
2
Forks
Watchers

Agda formalization of Intuitionistic Propositional Logic

verified publisher icon andreasabel

java-adt

16
Stars
0
Forks
Watchers

A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).

verified publisher icon andreasabel

miniagda

91
Stars
2
Forks
Watchers

A prototypical dependently typed languages with sized types and variances

verified publisher icon andreasabel