🎥 Command line media player

King James Version of the Holy Bible as JSON

Source files for the SBL Greek New Testament.

new reading environment for version 5.0 of the Perseus Digital Library

Anki add-on that adds a life bar to anki while reviewing.

Tiled scrollable window management for GNOME Shell

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

2D modal text editor

ⵣ Ki Editor - Multi-cursor combinatoric modal editor.

XML files for the works in the First Thousand Years of Greek Project. Please see our Wiki on how to contribute.

Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.

JavaScript/TypeScript-native, low-boilerplate, object-capability RPC system

Multi-architecture emulation for the modern era.

Create static executable from dynamic executable

Interpreter for custom math-oriented language

AWK plugin for Prettier code formatter

Language Server for AWK and associated VSCode client extension

A no-frills VS Code extension for inspecting ELF files, powered by Rust and WebAssembly.

Infrastructure for the Cyber Security Club at The Ohio State University

The CTF framework for busy hackers

GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Manage a user environment using Nix [maintainer=@khaneliman, @rycee]

Make your cursors dance with Kakoune and Helix-like modal editing in VS Code.

Personal website and blog

Nix, the purely functional package manager