Mitchell Dalvi Rosen

OptMem. Permanent memory for AI agents. A 426-token prompt, a script, plug and play.

shopping. A decent self-hosted shopping list app

diun. Receive notifications when an image is updated on a Docker registry

DnsServer. Technitium DNS Server

bentopdf. The Privacy First PDF Toolkit

pocket-id. The most user-friendly OpenID Connect Certified™ and OAuth 2.0 provider that lets users sign in to your applications with passkeys.

pgroll. PostgreSQL zero-downtime migrations made easy

t-digest. A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means

_hyperscript. a small scripting language for the web

css-scope-inline. 🌘 Scope your inline style tags in pure vanilla CSS! Only 16 lines. No build. No dependencies.

hyperbole. Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

unconditional-jump. Haskell

samsort. A stable adaptive mergesort implementation

obsidian-projects. Plain text project planning in Obsidian

html-parse. A high-performance, reasonably robust HTML5 tokenizer

cabal-add. Extend Cabal build-depends from the command line

hs-opt-handbook.github.io. The Haskell Optimization Handbook

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

htmx. </> htmx - high power tools for HTML

security-advisories. Haskell

monoidmap. Monoidal map type with support for semigroup and monoid subclasses.

nixpkgs. Nix Packages collection & NixOS

nickel. Better configuration for less

atomic-counter. Haskell counters that can be safely incremented from multiple threads

falsify. Haskell

mini.nvim. Library of 45+ independent Lua modules improving Neovim experience with minimal effort

leap.nvim. Neovim's answer to the mouse 🦘

lazy.nvim. 💤 A modern plugin manager for Neovim

roc. A fast, friendly, functional language.

ghc-dump. A GHC plugin and library for analysing GHC Core

cabal-fmt. An experiment of formatting .cabal files

fourmolu. A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

libzmq. ZeroMQ core engine in C++, implements ZMTP/3.1

czmq. High-level C binding for ØMQ

eventlog2html. Visualise eventlog events as a static webpage

masstree. Haskell

overloaded. Overloaded plugin

minicsv. Very minimal csv library

bytesmith. Parse bytes fast

githash. Compile git revision info into Haskell projects

eventlog-live. Real-time monitoring for any Haskell application with little to no instrumentation!

cabal-cache. CI assistant

devenv. Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

cli. GitHub’s official command line tool

difftastic. a structural diff that understands syntax 🟥🟩

diagnose. A simple library for reporting compiler/interpreter errors

file-io. File IO (read/write/open) for OsPath API

reflex-platform. A curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. reflex-platform is built on top of the nix package manager.

prql. PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

defaultable-map. Applicative maps

excalidraw. Virtual whiteboard for sketching hand-drawn like diagrams

annotated-exception. Machinery for throwing and catching exceptions with some annotation.

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

ad. Automatic Differentiation

hasql-interpolate. Haskell

flora-server. A package index for the Haskell ecosystem

time-ghc-modules. Analyze GHC .dump-timings files

core-warn. Provide warnings for unexpected Core generation

autodocodec. self(auto)- documenting encoders and decoders

hs-portray. Haskell

primitive. This package provides various primitive memory-related operations.

present. Make presentations for data types

prettyprinter. A modern, extensible and well-documented prettyprinter.

core-libraries-committee. Haskell

refinery. ⛏️ A refinement proof framework for haskell

weeder. A re-implementation of weeder using HIE files

witch. :mage_woman: Convert values from one type into another.

early. Add early return to any do-expression

profiteur. Visualiser for Haskell (GHC) prof files

swarm. Resource gathering + programming game

drama. 🎭 Actor library for Haskell

these. An either-or-both data type, with corresponding hybrid error/writer monad transformer.

monomer. An easy to use, cross platform, GUI library for writing Haskell applications.

sandwich. Yet another test framework for Haskell.

dot-utils. A set of small command-line tools for transforming GraphViz dot-files

cassowary-haskell. A haskell implementation of the Cassowary linear programming solver.

nomia. A system for precise, efficient resource management across every domain and resource type.

generic-override. Override instances used by Haskell's generic derivation

linear-logic. They see me rollin'. They're Heyting. -- Chamillionaire, 2005

tasty-bench. Featherlight benchmark framework, drop-in replacement for criterion and gauge.

sydtest. A modern testing framework for Haskell with good defaults and advanced testing features.

neuron. Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

logseq. A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://logseq.io/p/NX4mc_ggEV

purescript. A strongly-typed language that compiles to JavaScript

preql. experiments with SQL & Haskell

termbox. Library for writing text-based user interfaces

Fennel. Lua Lisp Language

facet. a functional programming language with algebraic effects and handlers

core-libraries-proposals. Proposed changes to Haskell Core Libraries

vim-smoothie. Smooth scrolling for Vim done right🥤

quickstrom. High-confidence browser testing

pier. Yet another Haskell build system.

hasql-queue. hasql postgres queue

unagi-chan. A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API

zeus. Haskell

ormolu. A formatter for Haskell source code

io-uring. A simple set of io-uring bindings in Haskell

smuggler2. Minimise haskell imports, make exports explicit

opentelemetry-haskell. The OpenTelemetry Haskell Client https://opentelemetry.io

criterion. A powerful but simple library for measuring the performance of Haskell code.

diffused-effects. all your intentions turned to vapour

policeman. 👮 Haskell PVP adviser

haskell-language-server. Official Haskell IDE support via the language server protocol (LSP)

chimera. Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization

reflex-ghci. Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.

charset. fast utf-8 character sets

base64. RFC 4648-compliant Base64

up-to-date-real-world-haskell. I'm trying to update the Real World Haskell book

hasql-th. Template Haskell utilities for Hasql

casa. Content Addressable Storage Archive

json-syntax. High-performance JSON parser

eff. 🚧 a work in progress effect system for Haskell 🚧

ghcide. A library for building Haskell IDE tooling

coc.nvim. Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

optics. Optics as an abstract interface

type-sets. type level sets

mule. OCaml

hi-file-parser. Haskell

http-download. Haskell

rotera. Persistent rotating queue

nimic. a language about nothing

Idris2-boot. A dependently typed programming language, a successor to Idris

HieDb. Generates a references DB from .hie files

lorri. Your project's nix-env

apply-refact. Refactor Haskell source files

aeson. A fast Haskell JSON library

mimalloc. mimalloc is a compact general purpose allocator with excellent performance.

haskell-lockfree. A collection of different packages for CAS based data structures.

komposition. The video editor built for screencasters

indurative. Easily create authenticated data structures

codex. UI experiments for coda

icfp2019-papers. ICFP 2019 preprints/papers

cabal-plan. Library and utility for processing cabal's plan.json file

ghc-debug. Moved to Haskell.org GitLab.

z3. The Z3 Theorem Prover

semantic. Parsing, analyzing, and comparing source code across many languages

dhall-to-cabal. Compile Dhall expressions to Cabal files

perkeep. Perkeep (née Camlistore) is your personal storage system for life: a way of storing, syncing, sharing, modelling and backing up content.

hashtables. Mutable hash tables for Haskell, in the ST monad

effects-benchmarks. Benchmarking Haskell extensible-effect libraries.

rattle. Forward build system with speculation and caching

contiguous-mmap. memory map contiguous data structures

streaming-parsers. Streaming parsers collection

polysemy-zoo. :monkey::panda_face: Experimental, user-contributed effects and interpreters for polysemy

treap. :leaves: :deciduous_tree: :fallen_leaf: Efficient implementation of the implicit treap data structure

byteslice. Slices of ByteArray and MutableByteArray

haskellgames. haskellgames.com

postal. 📮 A fully featured open source mail delivery platform for incoming & outgoing e-mail

deli. Haskell

ghc-compiler-notes. A collection of Notes on GHC

dhall-vim. Syntax highlighting for Dhall

polysemy. :gemini: higher-order, no-boilerplate monads

libsodium. A modern, portable, easy to use crypto library.

cryptol. Cryptol: The Language of Cryptography

zurihac-crypto. Small minimal examples of modern cryptographic techniques in Haskell

unison. A friendly programming language from the future

wai-lambda. Haskell Webapps on AWS Lambda

winery. Preservative serialisation format

hackage-server. Hackage-Server: A Haskell Package Repository

foldl. Composable, streaming, and efficient left folds

Haskell-Pipes-Parse-Library. Parsing for the pipes ecosystem

conduit. A streaming data library

resolv. Haskell

cpkg. A build tool/package manager for C, configured with Dhall

asterius. DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

microaeson. A tiny JSON library with light dependency footprint

selective. Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

avro. Haskell Avro Encoding and Decoding Native Support (no RPC)

haskell-capnp. Cap'n Proto for Haskell

megaparsec. Industrial-strength monadic parser combinator library

colonnade. Generic types and functions for encoding and decoding columns

chronos. Haskell time library focusing on performance

project-m36. Project: M36 Relational Algebra Engine

primitive-atomic. Atomic operations on PrimArray and ByteArray

ghc-lib. The GHC API, decoupled from GHC versions

guanxi. Relational programming in Haskell. Mostly developed on twitch.

stdio. Haskell Standard Input and Output

posix-api. haskell posix bindings

sockets. high-level stream sockets in haskell

flush-queue. Haskell

haskell-hedgehog-classes. Hedgehog will eat your typeclass bugs

dynamic-graphs. Haskell

guide. A workspace for research teams

fast-downward. Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward

typograffiti. Just let me draw nice text already!

sdl2. Haskell bindings to the SDL2 library

nng. nanomsg-next-generation -- light-weight brokerless messaging

haskell-ci. Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

hell. Haskell-based shell scripting language

ex-hack. Example-based Haskell Documentation Engine

Haskell-capataz. OTP-like supervision trees in Haskell

Blodwen. A prototype successor to Idris

pragmatapro. PragmataPro font is designed to help pros to work better

magicbane. A web framework that integrates Servant, EKG, fast-logger, wai-cli… | now on https://codeberg.org/valpackett/magicbane

sql-viewer. GHCJS front-end for queryparser

ghcup. DEPRECATED IN FAVOR OF haskell/ghcup-hs

text. Haskell library for space- and time-efficient operations over Unicode text.

MachineLearning. Haskell

fused-effects. A fast, flexible, fused effect system for Haskell

capability. Extensional capabilities and deriving combinators