hardentoo's Projects
minimal 2048 in haskell
An experimental gentoo portage overlay
My attempt at solving the 99 prolog problems in Haskell
Write "Concurrency" section of "A Tour of Go" in Haskell
Commutative Applicatives and Semigroups
Build script to build Alpine packages (mirror)
Add ACID guarantees to any serializable Haskell data structure
:lock: acmetool, an automatic certificate acquisition tool for ACME (Let's Encrypt)
[ALPHA][STALE] A linux kernel module that enables calls to ACPI methods through /proc/acpi/call. Now with support for Integer, String and Buffer parameters.
Automatic Differentiation
AFP practical assignments
Клон игры «Agar.io»
Agda is a dependently typed programming language / interactive theorem prover.
basics
ECMAScript back end for Functional Reactive Programming in Agda
Programming library for Agda
Specification of Agda.
Summer school on programming in Agda
Agda interaction in vim
Algorithms from AIMA in Haskell
A cross-platform, GPU-accelerated terminal emulator
Asynchronous Lint Engine
A lexical analyser generator for Haskell
Algebraic graphs
A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
Atwood's Law applied to CS101 - Classic algorithms and data structures implemented in JavaScript
Book of Elementary Algorithms and Data structures