A path to Programming Language Theory enlightenment

Programming Language Theory λΠ

Papers from the computer science community to read and discuss.

Type-level interpolations in various forms

Haskell tooling megarepo

Play/learn/work with me

Agda is a dependently typed programming language / interactive theorem prover.

A curated list of awesome PostgreSQL software, libraries, tools and resources, inspired by awesome-mysql

Automatically identify anti-patterns in SQL queries

📊 Haskell dependencies build times profiler

My study notes from reading category theory for programmers book

Rough and Ready Haskell Notebooks with HLS and VS Code

Haskell API search engine

A community-driven collection of documentation for Haskell error messages and warnings

A fast Haskell JSON library

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

A PureScript web UI framework

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Standard containers, with keys that carry type-level proofs of their own presence.

A massively parallel, optimal functional runtime in Rust

Streaming JSON parsing

Nix backend for PureScript. Transpile PureScript code to Nix.

A unified nodejs API for sending and receiving crypto payments

self(auto)- documenting encoders and decoders

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Analyze GHC .dump-timings files