BinderHub example using Nix
☆19Nov 20, 2018Updated 7 years ago
Alternatives and similar repositories for nix-binder-example
Users that are interested in nix-binder-example are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Utility functions for working with data from Nix in Python [maintainer=@adisbladis]☆14Oct 7, 2022Updated 3 years ago
- A golang implementation of the soulseek protocol☆14Mar 14, 2021Updated 5 years ago
- Stackage overlay for Nixpkgs☆25Apr 15, 2020Updated 6 years ago
- Send nixpkgs tarballs to Software Heritage [maintainer=@nlewo]☆37Oct 19, 2025Updated 7 months ago
- SVG support for purescript-halogen, including SVG animations☆14Jun 9, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- DEPRECATED. This Scalapck repository is deprecated. The last version in this repository is 3.0. Refer to "aocl-scalapack" repository unde…☆10Mar 15, 2021Updated 5 years ago
- An OpenAPI specification for a Nix HTTP Binary Cache☆36Mar 14, 2023Updated 3 years ago
- Statically built Nix binaries☆17Jan 27, 2020Updated 6 years ago
- Krank checks your code source comments for important markers☆22Dec 13, 2025Updated 6 months ago
- Intel AMT Serial-Over-LAN (SOL) client☆13Feb 23, 2024Updated 2 years ago
- Drive the Nix build system using the Dhall configuration language☆27Nov 17, 2018Updated 7 years ago
- Nix2NVimRc is a set of Nix expressions to configure NVim in Nix☆14Jun 6, 2026Updated last week
- A program that mounts a NAR (Nix Archive) archive as a filesystem using FUSE. This repo is written in C++; it has now been rewritten in H…☆23Apr 12, 2016Updated 10 years ago
- A Jupyter Notebook extension for Docker☆15Sep 2, 2019Updated 6 years 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.
- A library for parsing Gerbers☆20Apr 17, 2026Updated last month
- Blue Brain Project nixpkgs configuration - Build a brain with Nix☆20May 10, 2022Updated 4 years ago
- Convert JSON schemas into Nickel contracts☆39Jun 7, 2026Updated last week
- A server-side library in Haskell for sending push notifications to devices running different OS.☆26Aug 29, 2017Updated 8 years ago
- Data centralization tool☆36Aug 24, 2020Updated 5 years ago
- Combining the power of Nix, Guile & Elm to install NixOS☆15Dec 11, 2017Updated 8 years ago
- Bazel build rules for machine learning workflows☆33Feb 2, 2023Updated 3 years ago
- Sources for PhD thesis. Org-mode file, results, and figures sources.☆21Jul 25, 2019Updated 6 years ago
- Documentation for NanoVMs OPS☆31May 28, 2026Updated 2 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- MATLAB colormaps for scientific data visualization☆15Apr 2, 2026Updated 2 months ago
- InfluxDB client library for Haskell☆55Jul 12, 2024Updated last year
- ☆14May 10, 2024Updated 2 years ago
- OpenGL 3D viewer for ImplicitCAD☆22Nov 12, 2023Updated 2 years ago
- AntennaCalculator: An Open-Source Antenna Design Tool☆25May 14, 2026Updated last month
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- SB Components developed the Air Monitor HAT for Raspberry Pi an open-source portable sensor that has the ability to provide the level of …☆20Mar 2, 2022Updated 4 years ago
- The CIMENT (Gricad-calcul) Nix channel☆20Jan 13, 2020Updated 6 years ago
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Minimal config to cross-compile a NixOS system image for arm platforms☆46May 31, 2025Updated last year
- Tutorials for Nix and Nixpkgs. Note so far it is a proof of concept.☆25May 10, 2020Updated 6 years ago
- 3rd party BOLOS SDK for Rust☆23Jul 27, 2018Updated 7 years ago
- An experimental intermediate language for GHC☆36Sep 8, 2017Updated 8 years ago
- A graphical user interface for implicitcad☆25Dec 15, 2020Updated 5 years ago
- Automates the creation and management of chroot-based sandboxes☆21Jun 23, 2024Updated last year
- ☆38Mar 21, 2023Updated 3 years ago