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.
  ☆78Updated last year
• jaredly / unison.rs
  ☆71Updated 3 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 3 months ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆117Updated 3 years ago
• SrGaabriel / soma
  ⚗️ | λC pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.
  ☆61Updated this week
• 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
• anoma / geb
  A Categorical View of Computation
  ☆34Updated 3 weeks ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆21Updated last year
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• purs-nix / purs-nix
  Manage your PureScript projects with Nix!
  ☆79Updated 3 weeks ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆69Updated 3 weeks ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆51Updated 8 months ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated last year
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆16Updated 4 years ago
• BeFunctional / haskell-foreign-rust
  ☆16Updated 2 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated 2 months ago
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆108Updated this week
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆131Updated last month
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated 2 years ago
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆62Updated last month
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆148Updated last month
• matthunz / view-monad
  ☆24Updated last year
• unisoncomputing / share-api
  Unison Share's backend server
  ☆31Updated last week
• Gabriella439 / macos-builder
  Bootstrap a Linux build VM on macOS
  ☆77Updated 3 years ago
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆69Updated this week