t4ccer

agenix.el

Transparent editing for agenix secrets inside Emacs

aoc2022-nix

Advent of Code 2022, but in nix

cgt-rs

Combinatorial Game Theory library in Rust.

nix-org-export

Export org files to pdf as nix outputs

just

Just a collection of zero dependency (only stdlib) graphics related libraries and programs.

monokaish-logseq

Monokaish theme for logseq

viz-js-rs

Rust + Wasm bindings for Graphviz

aoc2023-llvm-ir

Advent of Code 2023 in LLVM IR

arewehackersyet

Tracking the availability of Kali Linux packages in NixOS

cardano-transaction-lib

A Purescript library for building smart contract transactions on Cardano

CIPs

dream2nix

Automate reproducible packaging for various language ecosystems [maintainer=@DavHau]

el

My Emacs config

elsa

Append-only collections for Rust where borrows to entries can outlive insertions

flamegraph

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

horth

My toy concatenative programming language

KaTeX

Fast math typesetting for the web.

logseq

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

logseq-localassets-plugin

melpa

Recipes and build machinery for the biggest Emacs package repo

monokaish.el

Monokaish theme for emacs

nixpkgs

Nix Packages collection

plutip

A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.

plutus

The Plutus language implementation and tools

ply

A helper library for working with compiled, parameterized Plutus Scripts

porth-bootstrap

Nix-based infrastructure to bootstrap porth compiler

pre-commit-hooks.nix

Seamless integration of https://pre-commit.com git hooks with Nix.

rage

A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

static-linking-broken

t4.nix

Opinionated nix utilities