A cross-platform dotfiles manager

Haze's Agent Skills

Quickly rewrite git repository history (filter-branch replacement)

Collection of miscellaneous plugins for the nix expression language

Generate code from the terminal!

MiniJinja is a powerful but minimal dependency template engine for Rust compatible with Jinja/Jinja2

Shell programming, Haskell style

Haskell-based shell scripting language

🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.

Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]

Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2

A Holistic Evaluation Benchmark for Code Generation using LLMs in Functional Programming

Agda grammar for tree-sitter

A Markdown formatter that enforces Hong Minhee's Markdown style conventions

[alpha] Build Rust crates with Nix Build System.

workspaces for nix

The Hazy Haskell Compiler

Nix utilities

Slice and dice logs on the command line

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

Better Promise.all with automatic dependency optimization

Why is this running?

Home for NixOS AMI automation

The Agda Universal Algebra Library (html docs available at the url below)

Nvim Treesitter configurations and abstraction layer

experimental raft storage

JSON5 — JSON for Humans