Let your Claude able to think

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

I'm trying to update the Real World Haskell book

A companion app for SuperMemo 17-18 which extends its functionalities through plugins.

Secure setup: encrypted USB drive, GnuPG, YubiKey and related practice

Manage your macOS using Nix

Transactional key-value store written entirely in Haskell

A pager for grep

Haskell Standard Input and Output

A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics

A MMOG engine of server.

Facebook's branch of Apache Thrift, including a new C++ server.

Fatal is a library for fast prototyping software in modern C++. It provides facilities to enhance the expressive power of C++. The library is heavily based on template meta-programming, while keepi…

Remove all the cookies on the tray! - The Haskell iOS & Android board game

A Git annex repository of papers

Quake 3 map viewer written in Haskell

Software Foundations in Idris

Crawls Smth's CouponsLife for scrapy, python

Pure haskell mysql driver

A fast to start, easy to maintain, high productive serving framework

Empire strikes back

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…

Moved to https://codeberg.org/jyri-matti/hseverywhere

A sensible starting Prelude template.

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

Type-safe SQL interactions with PostgreSQL, based on Opaleye.

Fake dependent types in Haskell using singletons

The Eta Programming Language, a dialect of Haskell on the JVM

Chez Scheme