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
  ☆91Updated this week
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆38Updated 3 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆65Updated last year
• dunhamsteve / newt
  A toy dependent typed language.
  ☆36Updated this week
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated 2 years ago
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆44Updated last week
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆17Updated 10 months ago
• cedille / cedille2
  ☆17Updated last year
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated this week
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆43Updated this week
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆34Updated 2 years ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆85Updated this week
• stefan-hoeck / idris2-pack-db
  ☆30Updated this week
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆79Updated last month
• leanprover / fp-lean
  Functional Programming in Lean
  ☆141Updated 2 weeks ago
• ehatti / konna
  ☆16Updated 3 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆65Updated 2 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆41Updated last year
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 3 months ago
• idris-community / katla
  ☆21Updated 8 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆10Updated 10 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated 2 years ago
• curry-language / kics2
  An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs
  ☆20Updated last month
• SrGaabriel / soma
  ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.
  ☆61Updated last week
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆53Updated last month
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆48Updated last year
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Updated 2 weeks ago