Secure secret provisioning with Guix and SOPS

An experimental text-based UI framework for Emacs modeled after React - **requires emacs 26.1 or newer**

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Rust binding and tools for Emacs's dynamic modules

A starter kit for Conjure, Aniseed and Neovim

Scripts and support necessary to make a GuixSD Virtualbox image

Bazel build system rules for LaTeX

Protobuf compiler and runtime for Kotlin

a unix password manager

A command line progress reporting library for Rust

Create USB sticks that perform a full offline installation of any NixOS configuration.

Create NixOS ISO images for use with initializing Yubikeys

Awesome matchers/asserts for rust

Rust friendly bindings to *nix APIs

Shattered Pixel Dungeon is an open-source traditional roguelike dungeon crawler with randomized levels and enemies, and hundreds of items to collect and use. It's based on the source code of Pixel …

Guide to using YubiKey for GnuPG and SSH

Generate Nix expressions which build Gradle-based projects.

Rust interface for the Slack Web API

An anti-bikeshedding Kotlin linter with built-in formatter

Kotlin major mode for Emacs

🌀 A nonsense activity generator

proof using the lean prover that the towers of hanoi problem is solvable

A statically typed lisp, without a GC, for real-time applications.

A universal Python parser combinator library inspired by Parsec library of Haskell.

Haskell Programming From First Principles - Follow-up Resources

Relay-only sendmail/qmail/etc replacement MTA

Unofficial Kinesis Freestyle 2 Userspace Linux Driver

A compiler for the 🎃 Spooky 😱 programming language 👻

A lisp interpreter