Dominique Devriese Dominique Devriese's Open Source Contributions


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/pra
Haskell - Other - Last pushed - 0 stars
DNNX/my-agda
Haskell - Other - Last pushed - 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
np/agda-git-experiment
darcs-bridge experiment with Agda repository
Haskell - Other - Last pushed - 0 stars
dagit/agda
Agda is a dependently typed programming language. This is a clone of the Agda darcs repo that can...
Haskell - Other - Updated - 1 stars
JasonGross/Agda
Clone of Agda from http://code.haskell.org/Agda using https://github.com/purcell/darcs-to-git
Haskell - Other - Updated - 1 stars
ilyasergey/GHC-XAppFix
Extension of Glasgow Haskell Compiler to support recursive applicative bindings
Haskell - BSD-3-Clause - Last pushed - 3 stars
ilyasergey/monadic-cfa
Generic implementation of different CFA families based on monadic decomposition
Haskell - Other - Last pushed - 14 stars
mrBliss/ghc-head
Implementation of partial type signatures in GHC, as described in the paper Partial Type Signatur...
Haskell - BSD-3-Clause - Last pushed - 1 stars
ilyasergey/GHC-XAppFix-BaseLibrary
Augmented base library for GHC for ApplicativeFix support
Haskell - Other - Last pushed - 1 stars
wannesm/adsphd
KU Leuven Arenberg Doctoral School PhD dissertation latex class
TeX - Last pushed - 27 stars - 17 forks
tzbob/s-mt-frp
A framework to experiment with multi-tier FRP as a means for declarative web development.
JavaScript - Last pushed - 7 stars - 1 forks
skeuchel/microsail
Agda - Last pushed - 0 stars
nafg/reactive
A simple FRP library and a web UI framework built on it
Scala - Other - Last pushed - 198 stars - 41 forks
Fuco1/conkeror
JavaScript - Other - Last pushed - 1 stars
gasche/icfp2013-papers
List of ICFP'13 accepted papers, with links to preprint or additional information when available
Last pushed - 71 stars - 17 forks
nguyenvinhlinh/conkeror
JavaScript - Other - Last pushed - 0 stars
tov/memoize
A Haskell memoization library
Haskell - BSD-3-Clause - Last pushed - 17 stars - 7 forks
retroj/conkeror
A highly customizable keyboard-oriented web browser for the XULRunner platform.
JavaScript - Other - Last pushed - 98 stars - 25 forks