Nix

d-SEAMSd-SEAMS/seams-core

A C++ core engine for deferred structural elucidation analysis of molecular dynamics trajectories.

AAC Tacticscoq-community/aac-tactics

A Coq plugin providing tactics for rewriting universally quantified equations modulo associativity and commutativity.

make-shellnicknovitski/make-shell

A modular replacement for Nix's mkShell function that evaluates shell environments as Nix modules.

haskell-snippets.nvimmrcjkb/haskell-snippets.nvim

A collection of Haskell snippets for LuaSnip in Neovim, powered by tree-sitter and LSP.

Kittsenges/kitt

A container-based portable shell environment manager for building, running, and distributing personalized shell setups.

Sudokucoq-community/sudoku

A certified Sudoku solver implemented in Coq using a formalized Davis-Putnam procedure.

xk6-output-timestreamleonyork/xk6-output-timestream

A k6 extension that outputs load test metrics to AWS Timestream for scalable, low-cost performance monitoring.

composition-c4fossar/composition-c4

A Nix library for fetching Composer dependencies directly from Git repositories using lockfile-based approach.

MathComp Schoolgares/math-comp-school-2022

Coq lessons and exercises introducing the SSReflect proof language and Mathematical Components library.

python-iavlcrypto-com/python-iavl

Python implementation of IAVL tree with CLI tools for inspecting and debugging Cosmos SDK application databases.

amdimtailsmails/amdim

A low-level hardware control utility for AMD GPUs on Linux that enables sub-threshold screen dimming and hardware blue light filtering.

kebabbwkam/kebab

A Nix flake providing Haxe-related packages including the Haxe compiler and Kha framework.

micropython-builderjonahbron/micropython-builder

A Nix flake for building and flashing MicroPython firmware for embedded devices like ESP32 boards.