Alternatives and similar repositories for pallas:

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

• NorfairKing / nix-does-not-guarantee-reproducibility
  ☆63Updated last month
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆57Updated 3 weeks ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 11 months ago
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆56Updated 2 months ago
• purs-nix / purs-nix
  Manage your PureScript projects with Nix!
  ☆76Updated last month
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• obsidiansystems / sandstone
  Fine-grained Haskell builds with Nix's dynamic derivations
  ☆38Updated last month
• DeterminateSystems / nix-wasm-example
  ☆24Updated 5 months ago
• urbit-pilled / tree-sitter-hoon
  Tree-sitter grammar for urbit language hoon
  ☆14Updated 4 months ago
• utdemir / nixlisp
  ☆63Updated 3 years ago
• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆58Updated 5 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 6 months ago
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆34Updated 6 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 7 months ago
• jackfoxy / obelisk
  Time travelling relational database engine and urQL (SQL derived) scripting for the Urbit computer
  ☆20Updated this week
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆101Updated this week
• ilyakooo0 / airlock
  Earth to Mars communication done right
  ☆17Updated last year
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆125Updated 2 weeks ago
• srid / devour-flake
  Devour all outputs in a Nix flake.
  ☆72Updated 2 months ago
• HigherOrderCO / kindbook
  ☆47Updated 3 months ago
• cdepillabout / cabal2nixWithoutIFD
  ☆32Updated 3 years ago
• aaronjanse / nix-eval-lsp
  Nix language server that evaluates code
  ☆55Updated 3 years ago
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆23Updated last year
• urbit / hoon-language-server
  Language Server for Hoon. Middleware to translate between the Language Server Protocol and your Urbit.
  ☆38Updated 2 years ago
• tssm / .config
  UNIX is my IDE and Neovim my Emacs
  ☆12Updated this week
• urbit / vere
  An implementation of the Urbit runtime
  ☆66Updated this week
• jamii / zest
  ☆102Updated 3 weeks ago
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated 2 years ago
• matthunz / view-monad
  ☆23Updated 9 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 9 months ago