Alternatives and similar repositories for abstract-algorithm:

Users that are interested in abstract-algorithm are comparing it to the libraries listed below

• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆204Updated 5 years ago
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆370Updated last year
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆270Updated last year
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆375Updated 2 years ago
• compiling-to-categories / concat
  Compiling to Categories
  ☆441Updated 10 months ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆255Updated 4 months ago
• AndrasKovacs / smalltt
  Demo for high-performance type theory elaboration
  ☆532Updated last year
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆261Updated 7 months ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆367Updated 7 months ago
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆107Updated 7 years ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆338Updated 2 months ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆596Updated last month
• snowleopard / alga
  Algebraic graphs
  ☆724Updated 7 months ago
• moonad-archive / Formality-JavaScript
  An implementation of the Formality language in JavaScript
  ☆72Updated 5 years ago
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆259Updated 4 months ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆625Updated 3 months ago
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆572Updated last year
• ollef / sixten
  Functional programming with fewer indirections
  ☆760Updated 4 years ago
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆195Updated 3 years ago
• well-typed / optics
  Optics as an abstract interface
  ☆378Updated last week
• jozefg / higher-order-unification
  A small implementation of higher-order unification
  ☆184Updated 7 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆198Updated 4 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆196Updated last year
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆220Updated last month
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• frank-lang / frank
  Frank compiler
  ☆281Updated 8 months ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆367Updated last year
• fused-effects / fused-effects
  A fast, flexible, fused effect system for Haskell
  ☆649Updated last week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆353Updated this week
• edwinb / Blodwen
  A prototype successor to Idris
  ☆538Updated 5 years ago