how-to-prove. My Solution to Velleman's book
270rust-book-summary. Summary of the Rust book
257tldr-hs. Haskell tldr client
99shell-conduit. Write shell scripts with Conduit
96justl.el. Major mode for driving just files.
96dhall-mode. Emacs Lisp
46yesod-rest. Yesod Rest Scaffolding with React
37rego-mode. Emacs major mode for OPA's rego language
30Rizzy. A Steganographic tool in Python
29csv-parser. A CSV Parser in C++ without any bells and whistles
23fb. Haskell
19sysinfo. Haskell Interface for getting overall system statistics
16dotfiles. Config files for my Linux box
11download. High level download interface for Haskell
10emacs-everywhere. Shell
8Neuron. A Neural Network Simulator
8iwlib-rs. Safe bindings to libiw library
7wai-slack-middleware. A Slack middleware for wai
7hourglass-orphans. Orphan Aeson instances to hourglass
6weather_noaa. Rust parser for NOAA weather data
5prometheus. Notes for Monitoring with Prometheus book
5Speakex. An Android application which converts a Text to Speech in various languages.
4yesod-postgres. Sample Yesod app with Postgres backend
4talks. Slides etc.
4PyStegy. GUI for Steghide in Python
3messy. A desktop client for 160by2.com written in python.
3posix. Haskell FFI functions for doing system programming in Linux
3Identier. Python API library for identi.ca/StatusNet
3emacs-py-import-check. Finds the unused python imports using importchecker in Emacs
2mtl-bench. Haskell
2psibi.github.io. Personal site
2game-of-life. Game of Life
2weigh-issue-33. Haskell
1stack-issue-4377. Haskell
1ffi-problem. Haskell
1streamly-bytestring2. WIP
1yesod-auth-fb. Haskell
1stack-docker. Dockerfile
1stack-issue-debug. Haskell
1slackYY. Yet another chat application
1hkill. Haskell
1yamlparse-test. Haskell
1reasonml-prototype. Prototype demo using Reason ML + React + Router
1