-
-
-
prelude-agdARGS Public
Dealing with Flags and Options (stolen from https://github.com/gallais/agdARGS, ported to the Agda Prelude)
Agda UpdatedMay 10, 2017 -
fingretrees Public
Agda implementation of "Fingertrees: a simple general-purpose data structure"
Agda UpdatedApr 23, 2017 -
agda-prelude Public
Forked from UlfNorell/agda-preludeProgramming library for Agda
Agda MIT License UpdatedMar 31, 2017 -
-
baseconvert Public
CLI tool for arbitrary base converstion
-
foundations-harper Public
Forked from scmu/foundations-harperAgda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
Agda UpdatedMar 25, 2016 -
Project-Eulgda Public
Project Euler solutions in Agda (sometimes Haskell)
-
-
f9-kernel Public
Forked from f9micro/f9-kernelAn efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
C Other UpdatedJul 8, 2015 -
emacs-minimap Public
Forked from lahorichargha/emacs-minimapA minimap sidebar for emacs
Emacs Lisp UpdatedJan 9, 2015 -
Purely Functional Datastructures in Agda. From the thesis of Chris Okasaki (http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf)
-
-
-
pi-forall Public
Forked from sweirich/pi-forallA demo implementation of a simple dependently-typed language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 20, 2014 -
-
parallel-j Public
(Abandoned) Parallel Scala Collections Library Based on J
{{ message }}