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 3 months ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 8 months ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆40Updated last month
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆55Updated 3 weeks ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆61Updated last week
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated last year
• urbit-pilled / tree-sitter-hoon
  Tree-sitter grammar for urbit language hoon
  ☆15Updated 6 months ago
• tloncorp / landscape
  ☆14Updated 2 months ago
• svanderburg / disnixos
  DisnixOS: A Disnix extension providing complementary infrastructure deployment using NixOS
  ☆48Updated last year
• jamii / zest
  ☆110Updated 2 months ago
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆130Updated 2 weeks ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• utdemir / nixlisp
  ☆64Updated 3 years ago
• 3noch / nix-bundle-exe
  Simple Nix derivations to bundle executables
  ☆41Updated 8 months ago
• DeterminateSystems / nix-wasm-example
  ☆24Updated 7 months ago
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆37Updated 8 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated this week
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆15Updated 3 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 9 months ago
• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆59Updated 7 months ago
• obsidiansystems / sandstone
  Fine-grained Haskell builds with Nix's dynamic derivations
  ☆39Updated last month
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆107Updated this week
• purs-nix / purs-nix
  Manage your PureScript projects with Nix!
  ☆76Updated last month
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆25Updated 8 months ago
• urbit / vere
  An implementation of the Urbit runtime
  ☆71Updated this week
• awkward-squad / ki
  A structured concurrency library
  ☆85Updated 3 months ago
• obsidiansystems / ipfs-nix-guide
  IPFS × Nix Guide
  ☆65Updated 4 years ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• tomberek / lambdanix
  ☆18Updated 5 years ago