Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
Awesome & interesting talks about programming
K Framework Tools 5.0
A statically typed linear functional language with graded modal types for fine-grained program reasoning
A jekyll based resume template
Pandoc template for writing Markdown letters (DIN 5008)
Mirror of https://gitlab.com/JoJoZ/carth
Template for writing a PhD thesis in Markdown
Markdown templates for Pandoc
A template for creating a PhD thesis in markdown + pandoc
A pandoc LaTeX template to convert markdown files to PDF or LaTeX.
An incremental parsing system for programming tools
[Deprecated] Markdown presentation writer, powered by Electron.
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Free book for learning Haskell
A formatter for Haskell source code
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Next Browser - Be Productive.
Sample Programs in Every Programming Language
A Turing complete language 😉
A List of Foundational Haskell Papers
A simple and easy-to-use library to enjoy videogames programming
ORX: Portable Game Engine
A flexible level editor
TIC-80 is a fantasy computer for making, playing and sharing tiny games.
⚡️ Native, high-performance, cross-platform desktop apps - built with Reason!
Native, lightweight modal code editor
⛏️ A minimalist front-end design toolkit built with Sass for developing responsive, browser-consistent web apps.
Very low feature GHCi based IDE
The core of xmonad, a small but functional ICCCM-compliant tiling window manager