Alternatives and similar repositories for incredible-solution

Users that are interested in incredible-solution are comparing it to the libraries listed below

• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 5 years ago
• bollu / minitt
  bollu learns implementation of dependent typing
  ☆30Updated 2 years ago
• kwanghoon / bidi
  bidirectional type checking algorithms for higher-ranked polymorphism
  ☆19Updated 3 years ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 6 months ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆60Updated last month
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆40Updated 6 months ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated 2 years ago
• Naproche-SAD / Naproche-SAD
  ☆21Updated 4 years ago
• AndrasKovacs / implicit-fun-elaboration
  Implementation for ICFP 2020 paper
  ☆54Updated 4 years ago
• ammkrn / type_checking_in_lean4
  Type Checking in Lean 4
  ☆29Updated last month
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆25Updated this week
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆208Updated this week
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆63Updated 3 years ago
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆68Updated last week
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆74Updated 5 months ago
• AndrasKovacs / sett
  Setoid type theory implementation
  ☆38Updated last year
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆40Updated this week
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated 2 months ago
• AndrasKovacs / antifunext
  antifunext
  ☆34Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆70Updated 5 months ago
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆74Updated 3 months ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆67Updated 9 months ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 6 months ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆176Updated last week
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆86Updated 3 weeks ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆38Updated 7 months ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆118Updated 2 years ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago