Haskell interactive serverside web framework inspired by HTMX

A massively parallel, high-level programming language

Lightweight, modular, and extensible library for functional programming.

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

List of papers studying machine learning through the lens of category theory

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

The Reliable USB Formatting Utility

An incremental parsing system for programming tools

Parsing, analyzing, and comparing source code across many languages

A tree-sitter based AST difftool to get meaningful semantic diffs

Generalized bananas, lenses and barbed wire

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

Industrial-strength monadic parser combinator library

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

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

Security vulnerability database inclusive of CVEs and GitHub originated security advisories from the world of open source software.

Miking - the meta viking: a meta-language system for creating embedded languages

A semi-private chat application written in Rust.