Alternatives and similar repositories for pallas

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

• HigherOrderCO-archive / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆79Updated last year
• ilyakooo0 / airlock
  Earth to Mars communication done right
  ☆17Updated 2 years ago
• NorfairKing / nix-does-not-guarantee-reproducibility
  ☆64Updated 10 months ago
• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆65Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 4 months ago
• obsidiansystems / sandstone
  Fine-grained Haskell builds with Nix's dynamic derivations
  ☆40Updated 8 months ago
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆148Updated this week
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆117Updated 3 years ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆69Updated last week
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated 2 years ago
• jaredly / unison.rs
  ☆71Updated 3 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆50Updated this week
• SrGaabriel / soma
  ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.
  ☆61Updated this week
• utdemir / nixlisp
  ☆65Updated 4 years ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆131Updated last month
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆55Updated 9 months ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Updated last week
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆62Updated 2 months ago
• nix-community / napalm
  Support for building npm packages in Nix and lightweight npm registry [maintainer=?]
  ☆118Updated last year
• BeFunctional / haskell-foreign-rust
  ☆15Updated 2 years ago
• Kha / nixprof
  A Nix build graph profiler
  ☆37Updated 6 months ago
• purs-nix / purs-nix
  Manage your PureScript projects with Nix!
  ☆79Updated last week
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated 2 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• Gabriella439 / macos-builder
  Bootstrap a Linux build VM on macOS
  ☆76Updated 3 years ago
• yvan-sraka / contracts
  ☆24Updated 6 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆21Updated last year