aaronlevin / nixos-cookbookView external linksLinks
Cookbook for working with Nix
☆14Jan 10, 2015Updated 11 years ago
Alternatives and similar repositories for nixos-cookbook
Users that are interested in nixos-cookbook are comparing it to the libraries listed below
Sorting:
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Sep 10, 2015Updated 10 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- What I Wish I Knew While Learning Nix☆34Dec 9, 2021Updated 4 years ago
- A tool for caching cabal builds in a Nix store☆33Dec 23, 2015Updated 10 years ago
- An implementation of the Core language☆30Oct 4, 2015Updated 10 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- Haskell bindings to the Polar query engine and Oso authorization library☆12Feb 15, 2022Updated 4 years ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- ☆24Sep 10, 2018Updated 7 years ago
- A collection of the talks I’ve given in the past.☆11Sep 11, 2025Updated 5 months ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Dec 30, 2015Updated 10 years ago
- A Heroku buildpack using Nix.☆13Mar 28, 2017Updated 8 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Apr 21, 2014Updated 11 years ago
- Install everything.☆20Nov 19, 2018Updated 7 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Aug 9, 2023Updated 2 years ago
- Those are the bsp.exe and vis.exe source code, modified in order to really understand the PVS building system☆30Apr 14, 2012Updated 13 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Jan 16, 2026Updated last month
- Agda-style equational reasoning in Haskell☆54Jan 18, 2026Updated 3 weeks ago
- Bidirectional mapping between two key types☆21May 1, 2024Updated last year
- Protocol Buffers library for Haskell☆22Jul 18, 2021Updated 4 years ago
- Easy bidirectional serialization in Haskell☆49Dec 12, 2018Updated 7 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Mar 15, 2019Updated 6 years ago
- An OS written in Idris (eventually...)☆20Mar 4, 2015Updated 10 years ago
- Spawn threads that never die (unless told to do so)☆37Apr 16, 2018Updated 7 years ago
- ☆33Mar 19, 2015Updated 10 years ago
- Haskell bindings to OpenAI☆35Jan 6, 2026Updated last month
- ABANDONED☆49Aug 30, 2016Updated 9 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Sep 19, 2023Updated 2 years ago
- A dark color scheme for Neovim with support for LSP, Treesitter. This mirror is deprecated. Use the repo at https://sr.ht/~novakane/kosmi…☆23Nov 19, 2021Updated 4 years ago
- A truly tiny monadic parsing library☆28Jan 14, 2021Updated 5 years ago
- A concrete-syntax tree and parser for the PureScript language☆41May 22, 2019Updated 6 years ago
- Om with Haskell in it☆104Mar 19, 2015Updated 10 years ago
- Perform GPIO from Haskell☆21Aug 28, 2019Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 7 years ago
- On-demand provisioning tool for Hydra☆30Apr 25, 2019Updated 6 years ago
- IO without any PseudoExceptions☆28May 13, 2020Updated 5 years ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- ☆103Dec 7, 2020Updated 5 years ago