Use Nix and NixOS on your DGX Spark!

NixOS Media Server Configuration

mimalloc is a compact general purpose allocator with excellent performance.

This repository is a demonstrator for bootable NixOS images with immutable A/B partitions using systemd-repart and systemd-sysupdate

Writing Emacs plugin in OCaml

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

Downloads and provides debug symbols and source code for nix derivations to gdb and other debuginfod-capable debuggers as needed.

Statically typed, purely functional effects for Python.

PoC for the fanotify pre-access hooks

Ninja-compatible incremental build system for Nix

opkssh (OpenPubkey SSH)

eBPF-based Linux high-performance transparent proxy solution.

The Deck: An Open-Source, Cross-Platform, Mobile, Turn by Turn Card Game Engine in Flutter

Shrinkray is a modern multi-format test-case reducer

Roadmap to ekapkgs being fully available

Open source handheld ham radio project KV4P-HT

A smart, lightweight shell script templating engine, written in Bash

WIP: Next-gen network protocol for reliable data transfer in lossy environments. Outperforms TCP/UDP in high packet loss scenarios.

A refreshingly simple data-driven game engine built in Rust

Algebraic data types for C99

An OpenAPI 3 to OCaml client generator.

Passbolt Community Edition (CE) API. The JSON API for the open source password manager for teams!

Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix

A Git-compatible VCS that is both simple and powerful

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

My solutions to Advent of Code problems

A Matrix-iMessage puppeting bridge.

An actor-model multi-core scheduler for OCaml 5 🐫

SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/