⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

A curated list of software, services, and resources to create and distribute music

These Data Type in Rust

Developer environments you can take with you

❤️🪵 Radicle Heartwood Protocol & Stack

A fast, local first, reactive Database for JavaScript Applications https://rxdb.info/

📚 Find your next book to read!

Jane Street code review system

A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️

Make creating nix expressions easy

A tree-sitter based AST difftool to get meaningful semantic diffs

Resources for learning Category Theory for an enthusiast

The cumulative sibling of `Result` and `Either`.

A programming language for the decentralized web

A Mutex wrapper tracking acquisition order

.

A syntax-highlighting pager for git, diff, grep, and blame output

An introduction to programming language theory in Agda

Trustix: Distributed trust and reproducibility tracking for binary caches [maintainer=@adisbladis]

.nixpkgs aka dotfiles with nix

A curated list of projects related to the reMarkable tablet

Avatar generation library

An idiomatic, lean, fast & safe pure Rust implementation of Git

A collection of resources for learning type theory and type theory adjacent fields.

The second iteration of the Radicle code collaboration protocol.

get things from one computer to another, safely

a collection of well-tested, serializable CRDTs for Rust

Write consistent git commit messages based on a custom template