hardentoo's Projects
A RGB/HSV color selector
A bittorrent client written in Haskell
Haskell 98 comonads
A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.
Just a toy compiler written in Haskell.
Compiz 0.8.x core project
Simple (but useful) representation of complex numbers in Haskell.
Define and run multi-container applications with Docker
Library to calculate Gröbner basis written in Haskell.
A streaming data library
Customizable Windows terminal with tabs, splits, quake-style and more
Linux Configs
Run interactive commands inside a Vim buffer
Peer-to-peer encrypted message exchange
Assorted concrete container types
A terminal interface for Conway's Game of Life
Effective configuration management done in Haskell: forget shell script!
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
A library for formalizing Haskell types and functions in Coq
Subset of Haskell for teaching purpose.
Simple Core language for Haskell experiments
Custom ebuilds for Container Linux
Self-contained implementations of common CLI-utils.
coyim - a safe and secure chat client
C/C++ lecture
C++ Course
Some C++ examples
C++ 98/11/14 manual pages for Linux/MacOS
A powerful but simple library for measuring the performance of Haskell code.