Haskell

CI and hosting for nix-based, flakified github repos

Universal markup converter

Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

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

REST API for any Postgres database

A shell script which checks your $HOME for unwanted files and directories.

OpenTelemetry support for the Haskell programming language

Generator of runtime monitors for flight and robotics applications.

Compiler for the Gren programming language

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

A prompt engineering functional programming language

Interactively browse dependency graphs of Nix derivations.

Emanate a structured view of your plain-text notes

An advanced keyboard manager

An experimental proof assistant based on a type theory for synthetic ∞-categories.

CSL citation processing library in Haskell

A programming language in Turkish where grammatical case and mood are part of the type system.

Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcaps, link icons, inflation-adjustment, subscripted-citations).

Ethereum smart contract fuzzer

Dockerfile linter, validate inline bash, written in Haskell

An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.

Linux VR Desktop

ShellCheck, a static analysis tool for shell scripts

Command line client for Nix binary cache hosting:

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

Haskell library for the Microsoft Language Server Protocol

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

:boom::computer::boom: A data-parallel functional programming language

A statically typed lisp, without a GC, for real-time applications.

Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Espial is an open-source, web-based bookmarking server.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Haskell to VHDL/Verilog/SystemVerilog compiler

a fast, extensible, type driven Haskell ECS framework for games

Functional reactive web and mobile applications, with batteries included.

Tensors and neural networks in Haskell

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 the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

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

:ramen: A tasty Haskell web framework

Industrial-strength monadic parser combinator library

The Software Analysis Workbench

API for protocol buffers using modern Haskell language and library patterns.

Crucible is a library for symbolic simulation of imperative programs

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

Capability Distribution Language tools for seL4

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

A comprehensive Amazon Web Services SDK for Haskell.

The Haskell Tool Stack