Haskell library for (C++) symbol name demangling

Haptic input knob with software-defined endstops and virtual detents

Python Actor concurrency library

Tool to keep track of what you have been working on, and where and when work should continue

Panes library overlay for Brick library providing composition and isolation for Haskell TUI apps.

Haskell test framework for Tests defined by Search Using Golden Answer References

An emacs hydra to enable Haskell language extensions efficiently

A tool for scriptable exploration of binaries

The latest incremental release of SysML v2. Start here.

A continuation-based backtracking logic programming monad

Neat and tidy Erlang alternative syntax based on indentation rather than punctuation

Advent of Code 2020 Haskell Solutions

A high-level ncurses alternative written in Haskell

A library for architecture/ABI-specific parameter passing rules

A bitvector datatype that is parameterized by the vector width.

A feature-rich Unix terminal client for the Mattermost chat system

Helps you trek through your code forest and generate logs.

The SAW core language.

Generate build configurations based on input specification and repository data

Haskell Protocol Buffers

Hydra, the Nix-based continuous build system

Crucible is a library for symbolic simulation of imperative programs

Write type-safe GraphQL services in Haskell

Modifies posts containing plot data and generates a simple ascii plot

A client for the Hydra Nix CI

Developing projects using enhanced nix configuration for dependencies and Hydra CI

A set of utilities for using indexed types including containers, equality, and comparison.

Version-specific nix project specifications