Alternatives and similar repositories for StableBlog

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

• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆114Updated 3 weeks ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated 4 months ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆43Updated last year
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆43Updated 4 years ago
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆27Updated last month
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆52Updated 2 weeks ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 4 months ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• cedille / ial
  The Iowa Agda Library
  ☆48Updated last week
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 5 years ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• jkoppel / ecta
  ☆35Updated last year
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆100Updated last month
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆59Updated last year
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated last year
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 6 years ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆57Updated 6 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆127Updated last year
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆40Updated last month
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆36Updated 3 weeks ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 5 months ago
• gallais / potpourri
  Where my everyday research happens
  ☆53Updated 2 weeks ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• lambda-pi-plus / lambda-pi-plus
  A simple Depdently-Typed Language for Research and Learning
  ☆57Updated 8 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 10 months ago
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 3 years ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆24Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago