hardentoo's Projects
Simple X Image Viewer
A computer algebra system written in pure Python
Open Source Continuous File Synchronization
Syntax checking hacks for vim
System F implemented in Haskell
Extended tabbed plugin for rxvt-unicode (urxvt)
A slightly fancy status bar for xmonad
oleg modules
Slides & demos for talks I do
Haskell implementations of different calculi from the TAPL book by Prof. Pierce.
Haskell implementations of examples from "Types and Programming Languages" by Benjamin C. Pierce
Types and Programming Languages exercises in Haskell
Haskell implementation of Benjamin Pierce's Types and Programming Languages
Types and Programming Languages
Automatically exported from code.google.com/p/tapl-haskell
Implementacion de los lenguajes explicados en Types and Programming Languages
TAPL in Haskell.
TaPL Language Implement by Haskell
Working through the Language described in TAPL
Haskell implementations of code from Types and Programming Languages
Haskell test discovery for the tasty framework :eyes:
Skeleton for haskell tcpservers
Telegram Desktop messaging app
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
List of telegram groups, channels & bots // Список интересных групп, каналов и ботов телеграма // Список чатов для программистов
A CLI in haskell to quickly move through the filesystem
TensorFlow's Visualization Toolkit
Computation using data flow graphs for scalable machine learning
Sample code for "Tensorflow and deep learning, without a PhD" presentation and code lab.