Alternatives and similar repositories for pakcs

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

• fir-lang / fir
  Fir programming language
  ☆90Updated this week
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆62Updated last year
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated 3 weeks ago
• cedille / cedille2
  ☆17Updated last year
• dunhamsteve / newt
  A toy dependent typed language.
  ☆36Updated this week
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated last year
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆38Updated 2 months ago
• stefan-hoeck / idris2-pack-db
  ☆30Updated this week
• wkolowski / Type-Theory-Wishlist
  Personal research notes
  ☆17Updated last year
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 3 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆79Updated 3 weeks ago
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 2 months ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆34Updated 2 months ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆135Updated 3 weeks ago
• curry-language / kics2
  An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs
  ☆14Updated 3 weeks ago
• standardml / twelf
  The Twelf Programming Language
  ☆147Updated last month
• ehatti / konna
  ☆16Updated 3 years ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆16Updated 9 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆52Updated last month
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆41Updated last year
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆43Updated last month
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated last month
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆19Updated last year
• maniospas / smol
  A safe & fast low-level language.
  ☆13Updated this week
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆30Updated 2 years ago
• idris-community / katla
  ☆21Updated 7 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆30Updated 3 years ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated 2 years ago