Remote boot server for NixOS clients

Code and implementations for the paper "AgentGym-RL: Training LLM Agents for Long-Horizon Decision Making through Multi-Turn Reinforcement Learning" by Zhiheng Xi et al.

Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

Tauri + ClojureScript template

CADR4 -- accurate model of the MIT CADR

Zero dependency Rust crate to make lightweight ASCII line graph ╭┈╯ in command line apps with no other dependencies.

A vector search SQLite extension that runs anywhere!

Streaming Markdown renderer for tui clis

F2 is a cross-platform command-line tool for batch renaming files and directories quickly and safely. Written in Go!

A Bevy friendly wrapper of Box2D and LiquidFun.

Quick fix to the bug where scrolling in one application is repeated in another when switching between them using Alt+Tab (e.g., VS Code and Chrome)

A Bevy plugin for Spine

DeepEP: an efficient expert-parallel communication library

papers of Per Martin Löf

Interface for interacting with PlayStation 5 EMC and EFC

Non-interactive Clojure nREPL client for shell scripts and command-line

Rust for dealing with XTQL (XTDB 2.x)

an edge database

A Clojure development environment for Vim/Neovim and more!, primarily written in Babashka.

Clojure(Script) implementations of the self-describing multiformat specs

Raspberry Pi USB device provisioning tool (RPIBOOT)

Light-weight ClojureScript dialect

Federated link aggregator

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

Clojure interpreter hosted on Go, with extensible interop support.

Lightweight nixOS system flake, designed to be easy to understand and scale.

Make any NixOS system netbootable with 10s cycle times.

Zigbee DIY device development board with CC2530 onboard compatible with all your Uno shields