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.
  ☆78Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆48Updated 7 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆82Updated 2 months ago
• jaredly / unison.rs
  ☆71Updated 3 years ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆118Updated last month
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆144Updated last month
• NorfairKing / nix-does-not-guarantee-reproducibility
  ☆64Updated 9 months ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆68Updated last week
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆16Updated 4 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆66Updated last year
• srid / ema
  Change-aware static site generator for Haskell programmers
  ☆126Updated last month
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆52Updated last year
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆62Updated 2 weeks ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆49Updated this week
• BeFunctional / haskell-foreign-rust
  ☆16Updated 2 years ago
• purs-nix / purs-nix
  Manage your PureScript projects with Nix!
  ☆78Updated last week
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆113Updated 6 months ago
• urbit-pilled / tree-sitter-hoon
  Tree-sitter grammar for urbit language hoon
  ☆18Updated last year
• ilyakooo0 / airlock
  Earth to Mars communication done right
  ☆17Updated 2 years ago
• SrGaabriel / soma
  ⚗️ | System F-ω pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.
  ☆61Updated this week
• lexi-lambda / talks
  ☆45Updated 2 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆90Updated 3 weeks ago
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• stefan-hoeck / idris2-pack-db
  ☆30Updated this week
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year