Stars
An unofficial client for the Google Keep API.
System for collecting, deriving and working with facts about source code.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
A django-powered wedding website and guest-management system
A curated list of projects related to the reMarkable tablet
Companion daemon for the reMarkable™ paper tablet
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A static analyzer for Java, C, C++, and Objective-C
The engine for haskell ide-integration. Not an IDE
A habit tracker app which treats your goals like a Role Playing Game.
Script to control the Dream Cheeky Storm & Thunder USB Missile Launchers in Linux.
Python-powered project helping you to recover recordings of digital video recorders
A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Specification for interoperability of common algebraic structures in JavaScript
Webmachine inspired toolkit for building http applications and services.