Source code spell checker

Python+Numpy+OpenGL: fast, scalable and beautiful scientific visualization

Simple and fast static-page NixOS option search

A PyPI cache using nginx

A Tailored Robust Implementation of Trajecotry Optimization for Rapid Task and Motion Planning

Bare metal provisioning engine, supporting network and ISO booting, BMC interactions, metadata service, and workflow engine.

Windows-native Nix evaluator - Haskell for logic, C99 for data. Parser, lazy evaluator, content-addressed store, builder, binary substituter.

A compendium of absurd "open-source" licenses.

Tool to scrape results of Hydra builds for nix-ros-overlay and produce human readable and maintainer actionable summary of build and evaluation failures

This repo maintains a lists of repositories for each ROS distribution

high performance computing related nix resources

Xacro is an XML macro language. With xacro, you can construct shorter and more readable XML files by using macros that expand to larger XML expressions.

Vcs2l is a command line tool designed to make working with multiple repositories easier

We write your reusable computer vision tools. 💜

LRCLIB server written in Rust with Axum and SQLite3 database

Desktop app for Tchap

Free implementation of Play Services

robotic motion planning library

A minimal specification for purl aka. a package "mostly universal" URL, join the discussion at https://gitter.im/package-url/Lobby

Aspect-oriented, context-driven Nix configurations.

A Rust port of nix-diff, a tool to explain why two Nix derivations differ.

ZMK implementation of the Arsenik/Selenium keymaps

QMK keymap implementations for OneDeadKey keyboard layouts.

Python bindings for vodozemac

Reproducible Nix environments without installing Nix

A purely functional programming language with first class types

Cleaner and Formatter for BibTeX files

Drop-in replacement for Requests. Automatic HTTP/1.1, HTTP/2, and HTTP/3. WebSocket, and SSE included.