Alternatives and similar repositories for pallas

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

• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆76Updated last year
• ilyakooo0 / airlock
  Earth to Mars communication done right
  ☆17Updated 2 years ago
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆60Updated 4 months ago
• obsidiansystems / sandstone
  Fine-grained Haskell builds with Nix's dynamic derivations
  ☆38Updated 5 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated 3 weeks ago
• NorfairKing / nix-does-not-guarantee-reproducibility
  ☆63Updated 7 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆52Updated last year
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆106Updated last week
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆48Updated 5 months ago
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆27Updated last week
• jaredly / unison.rs
  ☆70Updated 3 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• BeFunctional / haskell-foreign-rust
  ☆16Updated 2 years ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆37Updated 2 months ago
• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆66Updated 11 months ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆63Updated 3 weeks ago
• Gabriella439 / macos-builder
  Bootstrap a Linux build VM on macOS
  ☆77Updated 2 years ago
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆25Updated last year
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆140Updated 2 weeks ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• jb55 / viscal
  A crappy native calendar with vi keybindings (todo: make it less crappy)
  ☆10Updated last year
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• justinwoo / prefetch-github
  A helper to save me some keystrokes from nix-prefetch-git.
  ☆13Updated 6 years ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆105Updated 4 months ago
• purs-nix / purs-nix
  Manage your PureScript projects with Nix!
  ☆79Updated 5 months ago