Extension Framework for FUSE

Bazel profiling tools

Modern Bazel rules for building OCI container images with advanced performance optimizations

Buck2 rules for Nix

Bazel/Build Analysis and Navigation Tool

Moved to Codeberg

Find, Filter, Preview, Pick. All lua, all the time.

Download and manage zig compilers.

Starlark testing framework and utility libraries

a modern tui library written in zig

A fast high-compression read-only file system for Linux, FreeBSD, macOS and Windows

Gazelle plugin that executes a subplugin and communicates the language interface over gRPC

Interactively browse dependency graphs of Nix derivations.

A distributed data processing framework in Haskell.

Hypertypes - generic programming for heterogeneous recursive types

The Daml smart contract language

Protocol for IDEs and build tools to communicate about compile, run, test, debug and more.

A tool for #! scripts with more than one argument

Type-safe data versioning.

Master programming by recreating your favorite technologies from scratch.

Haskell tool to generate expressions from types

A cross-platform, OpenGL terminal emulator.

⚡ A Fast, Extensible Progress Bar for Python and CLI

A client for the Poloniex api written in go

My NixOS configuration files. (This public mirror is not updated anymore.)

haskell source code formatter

The board game Diplomacy, spoken in Haskell

Resources for learning and using recursion schemes.

Extremely modular text editor built in Haskell