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]☆38Oct 19, 2025Updated 8 months ago
- SVG support for purescript-halogen, including SVG animations☆15Jun 9, 2024Updated 2 years ago
- 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 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 3 weeks 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
- 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.
- A library for parsing Gerbers☆20Apr 17, 2026Updated 2 months ago
- Blue Brain Project nixpkgs configuration - Build a brain with Nix☆20May 10, 2022Updated 4 years ago
- Convert JSON schemas into Nickel contracts☆40Updated this 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
- sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.☆16Jan 17, 2020Updated 6 years ago
- Bazel build rules for machine learning workflows☆33Feb 2, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Sources for PhD thesis. Org-mode file, results, and figures sources.☆21Jul 25, 2019Updated 6 years ago
- Documentation for NanoVMs OPS☆31Jun 21, 2026Updated last week
- MATLAB colormaps for scientific data visualization☆15Apr 2, 2026Updated 3 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☆26May 14, 2026Updated last month
- ☆16Oct 14, 2020Updated 5 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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
- 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