Alternatives and similar repositories for algo3

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

• paigenorth / ECI2025
  Resources for the course "Interactive theorem provers: theory and practice" given at the Escuela de Ciencias Informáticas in July 2025 at…
  ☆17Updated 4 months ago
• jaalonso / Examenes_de_PF_con_Haskell
  Exámenes de programación funcional con Haskell
  ☆10Updated 2 years ago
• logsem / melocoton
  ☆12Updated 7 months ago
• cartazio / resin
  Resin: high performance variable binder and ast manipulation lib
  ☆13Updated 6 years ago
• blntk / sfpl
  A simple functional programming language.
  ☆22Updated 4 years ago
• JohnReppy / sml-compiler-utils
  A collection of SML utility modules that are useful for compiler writing.
  ☆11Updated 7 months ago
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated 6 months ago
• GaloisInc / alex-tools
  A Haskell library making it easier to write Alex lexers.
  ☆12Updated 3 months ago
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆20Updated 3 months ago
• gergoerdi / hm-compo
  Compositional type checking for a Hindley-Milner type system
  ☆11Updated 8 years ago
• pleiad / Refinements
  Experiments in formalizing refinement type systems in Coq
  ☆18Updated 9 years ago
• michaelpj / abstract-machine-debuggers
  ☆12Updated 6 years ago
• ToTal / total
  ☆11Updated 9 years ago
• jonsterling / topos-theory-notes
  ☆10Updated 8 years ago
• renzyq19 / pi-calculus
  ☆27Updated 11 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 5 years ago
• andrejbauer / repl-in-browser
  Implementation of a language interpreter in the browser, using js_of_ocaml.
  ☆15Updated 7 years ago
• formal-land / coq-bonsai
  🌳 Generate a fresh bonsai in your terminal
  ☆29Updated 4 years ago
• ericfinster / catt.io
  Revised Omega-categorical Typechecker
  ☆27Updated last year
• ocramz / thih
  typing haskell in haskell
  ☆18Updated 3 years ago
• gergoerdi / clash-compucolor2
  Clash implementation of the Compucolor II home computer
  ☆32Updated 4 years ago
• thibautbenjamin / catt
  Coherence typechecker for infinity categories
  ☆20Updated 2 weeks ago
• scott-fleischman / agda-from-nothing-2017
  Agda from Nothing: Order in the Types
  ☆13Updated 8 years ago
• mietek / imla2017
  Agda formalisation of NbE for λ□
  ☆18Updated 8 years ago
• GuillermoCalderon / ProjectiveGeometryInAgda
  A formalization of Constructive Projective Geometry in Agda
  ☆12Updated 6 years ago
• dorchard / betty-book-haskell-sessions
  Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).
  ☆12Updated 2 years ago
• joom / virtual-piano
  Terminal based virtual piano in Haskell, with ncurses and Euterpea
  ☆17Updated 8 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆26Updated 8 years ago
• yoricksijsling / ornaments-thesis
  My master thesis about generic programming and ornaments
  ☆16Updated 9 years ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆93Updated 8 months ago