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.
  ☆75Updated last year
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• urbit-pilled / tree-sitter-hoon
  Tree-sitter grammar for urbit language hoon
  ☆18Updated 9 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last week
• jaredly / unison.rs
  ☆69Updated 3 years ago
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆60Updated 4 months ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated 2 months ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• NorfairKing / nix-does-not-guarantee-reproducibility
  ☆62Updated 6 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆311Updated 10 months ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆65Updated 10 months ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆63Updated last week
• ilyakooo0 / airlock
  Earth to Mars communication done right
  ☆17Updated 2 years ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆46Updated 4 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆121Updated 2 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated 2 weeks ago
• urbit / vere
  An implementation of the Urbit runtime
  ☆71Updated this week
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆136Updated 3 weeks ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• scarf-sh / nomia
  A system for precise, efficient resource management across every domain and resource type.
  ☆166Updated 4 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated this week
• Gabriella439 / macos-builder
  Bootstrap a Linux build VM on macOS
  ☆77Updated 2 years ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆139Updated 10 months ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆90Updated 3 weeks ago
• tloncorp / landscape
  ☆14Updated 5 months ago
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated 2 years ago