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
  ☆79Updated last week
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆37Updated 3 weeks ago
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆124Updated this week
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆61Updated last year
• cedille / cedille2
  ☆16Updated 10 months ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆15Updated 7 months ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆121Updated 3 weeks ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated this week
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆37Updated last month
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆27Updated last month
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆143Updated this week
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆115Updated this week
• stefan-hoeck / idris2-pack-db
  ☆29Updated this week
• wkolowski / Type-Theory-Wishlist
  Personal research notes
  ☆16Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆64Updated this week
• stefan-hoeck / idris2-async
  Asynchronous and concurrent computations in Idris2
  ☆22Updated 2 weeks ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆38Updated 10 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated this week
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆48Updated 11 months ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆32Updated 3 weeks ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆78Updated 3 months ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆29Updated last year
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆96Updated 9 months ago
• tiny-bow / ribbon-language
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆19Updated last month
• ehatti / konna
  ☆16Updated 3 years ago
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆37Updated last week
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 7 months ago