Daniel Gustafsson Daniel Gustafsson

Tracking 709 commits to 29 open source packages



Repositories

Danten/test-servant
Haskell - Other - Last pushed - 0 stars
Danten/lejf
An experimental functional programming language based on LJF (Focused Intuitionistic Sequent Calc...
Haskell - BSD-3-Clause - Last pushed - 1 stars
Danten/SmardEdit
Fopl project - Smart Editor
Haskell - Last pushed - 2 stars
Danten/Pacman
Pacman
JavaScript - Last pushed - 0 stars - 1 forks
See all Daniel Gustafsson's repositories

Repositories Contributed To

simedw/Kandidat
Bachelor project, using partial evaluation to optimize programs during runtime in a lazy function...
Haskell - Last pushed - 5 stars
asr/pra
Haskell - Other - Last pushed - 0 stars
DNNX/my-agda
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
asr/eagda
Extended version of Agda in which we have added an ATP-pragma
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
See all Daniel Gustafsson's contributions

Last synced: 2016-12-17 06:10:00 UTC

Login to resync this page