Range library for C++14/17/20, basis for C++20's std::ranges

A tutorial on writing Haskell Language Server plugins

A modern proof language

Materials for MIT 6.S083 / 18.S190: Computational thinking with Julia + application to the COVID-19 pandemic

🕵️ Haskell STatic ANalyser

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

Defines a common protocol for language servers.

A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system

GHC Whole Program Compiler and External STG IR tooling

A functional programming language with static memory management

A categorized list of C++ resources.

3️⃣ 🍰 Architecture of the Haskell web applications

Liquid Types For Haskell

Proposed compiler and language changes for GHC and GHC/Haskell

Papers from the computer science community to read and discuss.

Animation engine for explanatory math videos

hanabi_learning_environment is a research platform for Hanabi experiments.

The Swift Programming Language

GRIN backend for GHC

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Functional Programming Course

A Python framework for creating, editing, and invoking Noisy Intermediate-Scale Quantum (NISQ) circuits.

Research programming language for concurrent ownership

UPX - the Ultimate Packer for eXecutables

Collections of papers and books about Haskell, Type Theory and Category Theory

Relational programming in Haskell. Mostly developed on twitch.

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

I'm trying to update the Real World Haskell book

Create beautiful diagrams just by typing notation in plain text.