Alternatives and similar repositories for pallas

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

• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 11 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• NorfairKing / nix-does-not-guarantee-reproducibility
  ☆63Updated 5 months ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆63Updated this week
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆82Updated 10 months ago
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆60Updated 3 months ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆64Updated 9 months ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆46Updated 3 months ago
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆134Updated 3 weeks ago
• obsidiansystems / sandstone
  Fine-grained Haskell builds with Nix's dynamic derivations
  ☆38Updated 3 months ago
• jaredly / unison.rs
  ☆69Updated 2 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated last month
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆25Updated 10 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated 2 weeks ago
• Gabriella439 / macos-builder
  Bootstrap a Linux build VM on macOS
  ☆77Updated 2 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• Kha / nixprof
  A Nix build graph profiler
  ☆32Updated 3 weeks ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• scarf-sh / nomia
  A system for precise, efficient resource management across every domain and resource type.
  ☆165Updated 4 years ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆52Updated last year
• 3noch / nix-bundle-exe
  Simple Nix derivations to bundle executables
  ☆43Updated 11 months ago
• utdemir / nixlisp
  ☆64Updated 3 years ago
• tweag / tf-ncl
  Terraform Configurations with Nickel
  ☆78Updated 6 months ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 2 years ago
• kanwren / nix-parsec
  ☆54Updated 2 years ago
• nix-community / napalm
  Support for building npm packages in Nix and lightweight npm registry [maintainer=?]
  ☆112Updated last year