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]☆36Oct 19, 2025Updated 7 months ago
- SVG support for purescript-halogen, including SVG animations☆15Jun 9, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 5 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☆14Feb 24, 2026Updated 3 months ago
- 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☆39May 17, 2026Updated last week
- A server-side library in Haskell for sending push notifications to devices running different OS.☆26Aug 29, 2017Updated 8 years ago
- A library to decode a binary Mode S message to an easy to use JavaScript object☆16Dec 11, 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
- 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.
- Documentation for NanoVMs OPS☆31Apr 10, 2026Updated last month
- MATLAB colormaps for scientific data visualization☆15Apr 2, 2026Updated last month
- 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☆23May 14, 2026Updated last week
- ☆16Oct 14, 2020Updated 5 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Minimal config to cross-compile a NixOS system image for arm platforms☆46May 31, 2025Updated 11 months ago
- 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