Highlights
- Pro
Stars
Adventures in being positively negative when deciding things in Idris.
A testing ground for quantum computing compilation ideas in xdsl
A repository for material from the reading group on NbE
A massively parallel, optimal functional runtime in Rust
A use-package declaration for simplifying your .emacs
I didn't buy an advent calendar this year so this is the second best thing
Manage a user environment using Nix [maintainer=@khaneliman, @rycee]
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
Agda is a dependently typed programming language / interactive theorem prover.