Alternatives and similar repositories for Kind:

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

• kindelia-archive / LambdaVM
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Updated 3 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆55Updated 8 months ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• Russoul / Idris2-Effect
  Experimental effects library for Idris 2
  ☆42Updated 2 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated last year
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 2 years ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆81Updated 3 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆45Updated 3 years ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• kasiaMarek / TyRE
  ☆26Updated 11 months ago
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆56Updated 7 months ago
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last year
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆54Updated 3 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆38Updated 4 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆42Updated 2 months ago
• balint99 / sfpl
  A simple functional programming language.
  ☆21Updated 3 years ago
• BebeSparkelSparkel / biparsing
  Bidirectional Parsing. Work in Progress
  ☆31Updated 3 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 4 years ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆61Updated 2 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆79Updated 8 months ago
• gergoerdi / interaction-nets
  Haskell implementation of interaction net-based lambda evaluation
  ☆16Updated 8 years ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆89Updated last year
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆26Updated last week
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated 2 years ago
• andorp / IdrisExtSTGCodegen
  ☆24Updated 2 years ago
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated 3 months ago