Alternatives and similar repositories for NixKernelTutorial

Users that are interested in NixKernelTutorial are comparing it to the libraries listed below

• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆69Updated last week
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 4 years ago
• obsidiansystems / sandstone
  Fine-grained Haskell builds with Nix's dynamic derivations
  ☆38Updated 2 months ago
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆103Updated last week
• RyanGibb / hillingar
  Build Mirage unikernels with Nix
  ☆40Updated last month
• matthewbauer / ghc-nix
  Exploring the options for incremental Haskell builds using Nix
  ☆106Updated 2 years ago
• gergoerdi / clashilator
  Generate interface between Clash and Verilator
  ☆22Updated last year
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆35Updated last year
• kanwren / nix-parsec
  ☆53Updated 2 years ago
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆127Updated last month
• thufschmitt / ptyx
  A type-system for Nix
  ☆98Updated 6 years ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• thoughtpolice / clash-playground
  A Clash playground/starter kit, using Nix
  ☆35Updated 6 years ago
• rpearce / hakyll-nix-template
  Hakyll + Nix starter template
  ☆58Updated 6 months ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆42Updated last month
• blarney-lang / blarney
  Haskell library for hardware description
  ☆103Updated 5 months ago
• christiaanb / contranomy
  ☆29Updated 4 years ago
• haskell-nix / hnix-store
  Haskell implementation of the Nix store
  ☆90Updated 6 months ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆61Updated 2 years ago
• cdepillabout / cabal2nixWithoutIFD
  ☆32Updated 3 years ago
• awakesecurity / ninja2nix
  A tool that generates a Nix derivation from a Ninja build file.
  ☆25Updated 2 weeks ago
• cdepillabout / stacklock2nix
  Easily build a Haskell project from a stack.yaml.lock file with Nix
  ☆53Updated last month
• as-capabl / clay-dhall
  C Layer for Dhall Language
  ☆15Updated 4 years ago
• UlfNorell / x86-agda
  Inline, type safe X86-64 assembly programming in Agda
  ☆68Updated 6 years ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆94Updated 2 months ago
• obsidiansystems / nix-thunk
  seamless management of source dependencies with nix
  ☆38Updated 3 months ago
• tazjin / yants
  Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
  ☆38Updated 5 years ago
• kasiaMarek / TyRE
  ☆27Updated last year
• input-output-hk / nix-tools
  Translate Cabals Generic Package Description to a Nix expression
  ☆95Updated last year
• svanderburg / nix-patchtools
  Autopatching binary packages to make them work with Nix
  ☆48Updated 3 years ago