Andreas Abel Andreas Abel

Tracking 23.3K commits to 30 open source packages


Homepage: http://www.tcs.ifi.lmu.de/~abel

Company: Chalmers and Gothenburg University

Location: Gothenburg, Sweden


Repositories

andreasabel/continuous-normalization
Evaluation of typed terms in Agda using the Delay monad.
Agda - Other - Last pushed - 5 stars - 1 forks
andreasabel/miniagda
A prototypical dependently typed languages with sized types and variances
Haskell - MIT - Last pushed - 30 stars
andreasabel/strong-normalization
Formalizations of strong normalization proofs
Agda - Unlicense - Last pushed - 7 stars
andreasabel/Sit
Prototypical type checker for Type Theory with Sized Natural Numbers
Haskell - MIT - Last pushed - 3 stars
andreasabel/java-adt
A tool to create immutable algebraic data structures and visitors for Java (such as abstract synt...
Haskell - Unlicense - Last pushed - 3 stars
andreasabel/cubical
Agda formalization of cubical sets.
MIT - Last pushed - 1 stars
See all Andreas Abel's repositories

Repositories Contributed To

asr/eagda
Extended version of Agda in which we have added an ATP-pragma
Haskell - Other - Last pushed - 0 stars
asr/pra
Haskell - Other - Last pushed - 0 stars
asr/my-agda
This isn't the "official" Agda repository. Please don't submit pull request
This repository is no longer available - 0 stars
DNNX/my-agda
Haskell - Other - Last pushed - 0 stars
masondesu/agda
Agda is a dependently typed programming language / interactive theorem prover.
Haskell - Other - Last pushed - 0 stars - 24 forks
JasonGross/Agda
Clone of Agda from http://code.haskell.org/Agda using https://github.com/purcell/darcs-to-git
Haskell - Other - Updated - 1 stars
See all Andreas Abel's contributions

Published Packages

Sit
Sit = Size-irrelevant types Sit is a prototypical language with an Agda-compatible syntax. It h...
Latest release 0.2017.5.2 - Updated - 3 stars
java-adt
A simple tool to create immutable algebraic data structures and visitors for Java (such as abstra...
Latest release 0.2016.11.28 - Published - 3 stars
See all Andreas Abel's packages

Last synced: 2016-12-17 08:49:46 UTC

Login to resync this page