A Nix evaluator written in Rust
☆12Feb 9, 2020Updated 6 years ago
Alternatives and similar repositories for nixrs
Users that are interested in nixrs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Linux uhid api in Go.☆13Sep 27, 2023Updated 3 years ago
- NAR (Nix Archive) reader/writer implementation written in Rust☆45Apr 7, 2021Updated 5 years ago
- Nix written in rust (this will take some time if it will ever finish)☆24Nov 21, 2020Updated 5 years ago
- software transactional memory in rust☆14Jul 20, 2021Updated 5 years ago
- building aosp roms (e.g. LineageOS) with nix. because why not?☆33Feb 3, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆19Jun 22, 2026Updated 4 months ago
- racket scheme peg-parser☆23Nov 13, 2021Updated 4 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 11 years ago
- Aszlig's Very Opinionated Nextcloud Configuration☆19Apr 25, 2022Updated 4 years ago
- HTTP Lint☆11Jul 16, 2014Updated 12 years ago
- A TLA+ AutoRepair System For Formal Specification with GPT-4☆15Jul 23, 2023Updated 3 years ago
- A map and set type based on a binary search tree (BST)☆12Feb 26, 2021Updated 5 years ago
- Nuclear Reactor Simulation Game☆13Jun 20, 2022Updated 4 years ago
- ☆11Jul 16, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- NATS unique identifiers☆20Mar 1, 2026Updated 7 months ago
- http://rfc.zeromq.org/spec:23☆15Feb 13, 2014Updated 12 years ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- A Kubernetes CD using CronJobs and kubecfg☆16Nov 10, 2017Updated 8 years ago
- Frege interface to Android☆15Sep 16, 2015Updated 11 years ago
- OCaml major mode using tree-sitter☆10Aug 20, 2023Updated 3 years ago
- Exploring low-level Nix, NixOS and system concepts☆23Nov 11, 2019Updated 6 years ago
- Simple flat file CMS☆15May 23, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- nextcloud systemd portable service built on Nix☆15Jun 27, 2026Updated 4 months ago
- ☆14Jan 22, 2017Updated 9 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-nix☆88Apr 9, 2019Updated 7 years ago
- Tools to create channels from hydra jobsets☆40Jul 8, 2026Updated 3 months ago
- Clojure-style anonymous function literal for Elisp☆12Jan 21, 2015Updated 11 years ago
- The Monero Forum Software☆17Oct 25, 2017Updated 9 years ago
- ☆29Oct 30, 2017Updated 9 years ago
- Solving the Cheryl's Birthday problem -- with Prolog!☆13Apr 17, 2015Updated 11 years ago
- Ова гит репозитори го содржи Уставот на независна Македонија од 1991 до денеска, со сите промени.☆12Dec 20, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- structured logs for humans☆14Nov 12, 2020Updated 5 years ago
- Functional Arch Linux system management☆29Apr 18, 2023Updated 3 years ago
- ☆10Dec 24, 2018Updated 7 years ago
- Framework-agnostic, encoding-generic isomorphic server functions for Rust.☆12Jan 5, 2024Updated 2 years ago
- Web page to analyze IEEE-754 floating point values.☆19Oct 25, 2024Updated 2 years ago
- Safe, intrusive doubly-linked lists for Rust☆18Feb 22, 2015Updated 11 years ago
- Network buffers for rust☆15Apr 14, 2018Updated 8 years ago