A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.
☆29Apr 17, 2016Updated 9 years ago
Alternatives and similar repositories for narfuse
Users that are interested in narfuse are comparing it to the libraries listed below
Sorting:
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- Parser and type analysis for the Go programming language☆12Aug 3, 2023Updated 2 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.☆16Dec 6, 2025Updated 2 months ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 3 years ago
- Pretty printer for Nix .drv files.☆15Mar 30, 2018Updated 7 years ago
- Intero Haskell IDE with Nix instead of Stack☆15Jan 3, 2018Updated 8 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- PostgreSQL SQL syntax utilities☆16Feb 12, 2026Updated 3 weeks ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- Auto Generated Haskell Library for Stripe☆14Mar 31, 2024Updated last year
- ☆12Apr 3, 2020Updated 5 years ago
- Nix package manager and Nix programming language☆11Nov 21, 2015Updated 10 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- ☆23Oct 15, 2023Updated 2 years ago
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- Haskell: Monorepo for our open source packages☆17Oct 7, 2017Updated 8 years ago
- Very simple CI server for Nix projects on GitHub☆15Aug 30, 2017Updated 8 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 8 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Sep 12, 2015Updated 10 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- ☆11Dec 24, 2019Updated 6 years ago
- ☆25Jan 5, 2026Updated last month
- Can we write a querying language with Dhall? Let's find out!☆63Oct 21, 2018Updated 7 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash☆21Nov 23, 2018Updated 7 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Futuristic New Age Golden Test management☆15Sep 27, 2022Updated 3 years ago
- An alternative interface to Opaleye, built around type families☆13Nov 23, 2016Updated 9 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 3 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 8 years ago
- Haskell library containing common graph search algorithms☆54Jun 28, 2025Updated 8 months ago