Alternatives and similar repositories for pakcs

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

• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆38Updated last month
• fir-lang / fir
  Fir programming language
  ☆84Updated this week
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆16Updated 8 months ago
• cedille / cedille2
  ☆17Updated 11 months ago
• curry-language / kics2
  An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs
  ☆14Updated this week
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆78Updated 4 months ago
• 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
  ☆40Updated 2 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆61Updated last year
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆40Updated 11 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆152Updated last week
• standardml / twelf
  The Twelf Programming Language
  ☆147Updated last week
• wkolowski / Type-Theory-Wishlist
  Personal research notes
  ☆17Updated last year
• leanprover / fp-lean
  Functional Programming in Lean
  ☆126Updated last month
• stefan-hoeck / idris2-pack-db
  ☆29Updated this week
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆82Updated this week
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆39Updated last week
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆76Updated this week
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆41Updated 2 weeks ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆33Updated last year
• maniospas / smol
  A safe & fast low-level language.
  ☆13Updated last month
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated last month
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆48Updated last year
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆75Updated 6 months ago
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆19Updated last year
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆332Updated last week
• danaugrs / deltanets
  Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction
  ☆40Updated 5 months ago