High level AWS CloudFormation language and compiler

Refinement Types for Rust

Spotify track recommender in Haskell

A modern, open source parser for wired m-bus portocol EN 13757-2 link layer, EN 13757-3 application layer of m-bus

A List of Foundational Haskell Papers

Web application for exploring and understanding Haskell codebases

Useful library functions for interacting with neovim for nvim-hs

Neovim API for Haskell plugins as well as the plugin provider

Use RipGrep in Vim and display results in a quickfix list

🍀 sweet looking lockscreen for linux system

A few bits and pieces to scrape errors from stack logs into vim

A huge collection of polybar themes with different styles, colors and variants.

An end to end test of the Exosphere compiler against all provided examples

The Exosphere website

Example Exosphere source code

Formal Exosphere language grammar

Oni: Modern Modal Editing - powered by Neovim

🚀 Run Async Shell Commands in Vim 8.0 / NeoVim and Output to the Quickfix Window !!

📊 Utility script to profile (n)vim (e.g. startup times of plugins)

⚡Haskell runtime for AWS Lambda

A CORS proxy in a container (Docker) for when you need to `Access-Control-Allow-Origin: *`!

V/I*R

All of my dotfiles!

Haskell workshop that will hopefully contribute something back to the open-source community

Programming Language Theory λΠ

Tail Call Optimization for Python

A new pure functional language built on the top of Python

Haskell language features and standard libraries in pure Python.