Top 1067 Nix open source projects

Generate Hits-of-Code badges for GitHub repositories

Dotfiles for my NixOS system based on Dracula theme

Medianizer 2

Linear Algebra of Programming - Algebraic Matrices in Haskell

Framework for artificial life and other evolutionary algorithms.

Configuration of my machines

CMake plugin composer.

My personal app/env configs and dotfiles.

A simple, statically-typed programming language

No description, website, or topics provided.

No description, website, or topics provided.

A Go library for talking to cars over OBD-II

A port of Falling Turnip from Haskell to Futhark and Go 🚗 💥

Instant messaging application running on Holochain-redux in Holoscape [For chat on Holochain rsm see https://github.com/holochain/elemental-chat/]

A starter project for Plutus apps

Manage your PureScript projects with Nix!

No place like ~. Nix. All. The. Things.

A toolkit for creating and managing declarative, self-healing infrastructure.

NixOS configuration (also on WSL)

No description, website, or topics provided.

Generalized Holochain DNA and UI library for building real-time shared state hApps

Visualize your Nix dependencies!

Personal NixOS configuration

No description, website, or topics provided.

NixOS configuration for TUM cluster

Software and drivers for the Pololu Tic Stepper Motor Controller.

Generate nix expressions from opam packages

Launch staking derivatives for the protocols you're already integrating with, redirecting yield to a different address.

NixOS system config & Home-Manager user config

Haskeline wrapper for GHCi-like REPL interfaces

A useful type for working with integers modulo some constant.

Dims everything but a selected region of the screen.

A handy user guide for the Cabal build tool

Container registry which transparently builds images using the Nix package manager. Canonical repository is https://cs.tvl.fyi/depot/-/tree/tools/nixery

Multiplatform BTC wallet with client side filters

Violate Nix philosophy, install Python packages mid-session with `from nixpkgs.scipy import scipy`.

Partial Volume Correction in PET

break timer that forces you to take a break

neovim plugin to interact with the terminal

Collection of useful checks for Django Checks Framework

No description, website, or topics provided.

🕶 Assorted checks and validations for writing safer Solana programs.

Kalman filter implementation in Rust

A starter library for monads in Ocaml.

Various Futhark benchmark programs

Lisp-flavored general-purpose programming language (based on Zig)

Tool for easily building PureScript projects with Nix

The schemas for the Harmony protocol

A library for using algebraic data types in the Nix expression language.

drpc is a lightweight, drop-in replacement for gRPC