hardentoo's Projects
Lightweight, fast and easy 2D game library for Haskell
Linux namespaces and seccomp-bpf sandbox
An implementation of Flappy Bird in Haskell using FRP and OpenGL.
Template Haskell system for implementing type classes with complex default-implementation rules
Various descriptions of the semantics of f-liter.
A modern web UI for rTorrent with a Node.js backend and React frontend.
:droplet: Write more understandable Haskell.
Haskell bindings to FLTK GUI toolkit.
Extended FLTKHS demos moved to a separate package to keep the core package free of additional dependencies.
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
An icon font providing popular linux distro's logos
Free (libre) font editor for Windows, Mac OS X and GNU+Linux
Script to patch arrow and symbol glyphs into fonts for usage with Powerline and other compatible plugins.
Patched fonts for Powerline users.
Font files available from Google Fonts
Functional Programming Course
Slides and other materials for functional programming lectures ITMO university
Functional Programming for Ethereum: Intro and Resources
Installed package query tool for Gentoo Linux
:stars: The frabjous Gentoo overlay focused on crypto, server-side stuffs and some desktop apps
Formal Reasoning About Programs
The free game engine
:books: Freely available programming books
Translated into Russian article "Freer Monads, More Extensible Effects"
single line text rendering in opengles
A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).
Playground of implementing snake game using FRP libraries.
Some code written while reading the Arrows, Robots, and Functional Reactive Programming paper
Comparing many FRP implementations by reimplementing the same toy app in each.