Bazel/Build Analysis and Navigation Tool

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

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, Windows and macOS

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

Data.BitCode.LLVM

Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation

Paris Functional Programming Meetup

Declarative visualization library for Python