Alternatives and similar repositories for melocule

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

• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• UlfNorell / quasi-quote

  View on GitHub
  Quasi-quoting library for agda
  ☆18Nov 29, 2024Updated last year
• uemurax / morg

  View on GitHub
  Organize mathematical thoughts
  ☆21Oct 6, 2023Updated 2 years ago
• madman-bob / idris2-table

  View on GitHub
  A table library for Idris 2
  ☆15Oct 25, 2022Updated 3 years ago
• effectfully / STLC

  View on GitHub
  Dependently typed Algorithm M and friends
  ☆26Jun 2, 2018Updated 7 years ago
• AliasQli / tactics

  View on GitHub
  ☆16Mar 11, 2022Updated 3 years ago
• matthesjh / coq-tal

  View on GitHub
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆18Mar 11, 2024Updated last year
• RedPRL / bantorra

  View on GitHub
  📚 A library for managing libraries and resolving unit paths
  ☆17Nov 21, 2025Updated 2 months ago
• ohad / collie

  View on GitHub
  Command line interface library in Idris
  ☆33Jul 26, 2024Updated last year
• laMudri / generic-lr

  View on GitHub
  AACMM's generic-syntax, but with QTT-style annotations
  ☆21Apr 7, 2024Updated last year
• L-TChen / MtacAR

  View on GitHub
  Mtac in Agda
  ☆29May 4, 2021Updated 4 years ago
• msp-strath / ask

  View on GitHub
  being a particular fragment of Haskell, extended to a proof system
  ☆43Dec 2, 2025Updated 2 months ago
• jespercockx / agda2scheme

  View on GitHub
  Compiler backend for generating Scheme code
  ☆28Nov 27, 2025Updated 2 months ago
• L-TChen / BiSig

  View on GitHub
  Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically
  ☆21Jan 30, 2024Updated 2 years ago
• daanx / effect-bench

  View on GitHub
  Benchmarking algebraic effect handler implementations
  ☆27Jun 6, 2021Updated 4 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• sstucki / pts-agda

  View on GitHub
  A formalization of Pure Type Systems (PTS) in Agda
  ☆28Jul 3, 2025Updated 7 months ago
• ankitku / TAL0

  View on GitHub
  Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.
  ☆23Dec 14, 2016Updated 9 years ago
• edwinb / IdrisApp

  View on GitHub
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Feb 25, 2020Updated 5 years ago
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• lawcho / agda2c

  View on GitHub
  Agda to C compiler
  ☆10Sep 23, 2025Updated 4 months ago
• ionathanch / scraps

  View on GitHub
  Various mechanized proof files for fun.
  ☆13Aug 11, 2025Updated 6 months ago
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• prathyvsh / history-of-lambda-calculus

  View on GitHub
  Survey on materials that touch on the history of Lambda Calculus
  ☆12Sep 13, 2020Updated 5 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• cofibrant / agda-nbe

  View on GitHub
  Verified NbE via gluing in Agda
  ☆11May 19, 2024Updated last year
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• hargoniX / pfmt

  View on GitHub
  A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
  ☆15Mar 27, 2025Updated 10 months ago
• dboulytchev / miniKanren-coq

  View on GitHub
  A certified semantics for relational programming workout.
  ☆26Oct 15, 2020Updated 5 years ago
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17Updated this week
• ncfavier / agda-stuff

  View on GitHub
  My Agda blog/lab/playground
  ☆12Updated this week
• bmourad01 / ocamlchess

  View on GitHub
  UCI-compatible chess engine in OCaml.
  ☆14Apr 20, 2025Updated 9 months ago
• L-TChen / FiniteSets

  View on GitHub
  Fintie Sets in Cubical Agda
  ☆12Aug 30, 2019Updated 6 years ago
• msp-strath / Mary

  View on GitHub
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Jan 23, 2024Updated 2 years ago
• playXE / cgc

  View on GitHub
  Copying Garbage Collector
  ☆14May 13, 2020Updated 5 years ago
• thosgood / hodge-theory

  View on GitHub
  An English translation of Deligne's three "Hodge theory" papers
  ☆14Feb 7, 2026Updated last week
• alexhumphreys / hello-idris2

  View on GitHub
  A template for idris projects
  ☆11Jun 27, 2021Updated 4 years ago
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated 11 months ago
• sabauma / agda-relation-algebra

  View on GitHub
  Relational algebra implementation in Agda with simple bindings to SQLITE
  ☆13Oct 9, 2023Updated 2 years ago