Alternatives and similar repositories for rebar

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

• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• ionathanch / scraps

  View on GitHub
  Various mechanized proof files for fun.
  ☆13Aug 11, 2025Updated 6 months ago
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years 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
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated 11 months ago
• playXE / cgc

  View on GitHub
  Copying Garbage Collector
  ☆14May 13, 2020Updated 5 years ago
• ncfavier / agda-stuff

  View on GitHub
  My Agda blog/lab/playground
  ☆12Updated this week
• idris-bayes / melocule

  View on GitHub
  Probabilistic music composition in Idris2
  ☆16Dec 23, 2022Updated 3 years ago
• sabauma / agda-relation-algebra

  View on GitHub
  Relational algebra implementation in Agda with simple bindings to SQLITE
  ☆13Oct 9, 2023Updated 2 years ago
• jonas-schievink / mallory

  View on GitHub
  ☆15May 15, 2021Updated 4 years ago
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17Updated this week
• bmourad01 / ocamlchess

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

  View on GitHub
  ☆11Nov 16, 2021Updated 4 years ago
• cedille / cedille-cast

  View on GitHub
  Source files used for the Cedille Cast videos
  ☆13Dec 28, 2025Updated last month
• robrix / silkscreen

  View on GitHub
  Prettyprinting transformers for rainbow parens, precedence, etc.
  ☆16Feb 27, 2022Updated 3 years ago
• UlfNorell / quasi-quote

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

  View on GitHub
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Nov 21, 2025Updated 2 months ago
• rudymatela / express

  View on GitHub
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Jan 30, 2025Updated last year
• Octachron / phantom_algebra

  View on GitHub
  Small tensor library a la GLSL
  ☆17Oct 28, 2022Updated 3 years ago
• webyrd / curnelo

  View on GitHub
  Cur dependently-typed language in miniKanren.
  ☆17Jan 26, 2018Updated 8 years ago
• ralsei / six-eyes

  View on GitHub
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Jul 28, 2022Updated 3 years ago
• Chaaaos / formaltt

  View on GitHub
  Formalization of type theory
  ☆22Jul 5, 2021Updated 4 years ago
• skogsbaer / roundtrip

  View on GitHub
  Roundtrip allows the definition of bidirectional (de-)serialization specifications
  ☆16Oct 16, 2024Updated last year
• ardangelo / scheme-gba

  View on GitHub
  scheme->gba : a Scheme compiler targeting ARM assembly.
  ☆13Aug 6, 2016Updated 9 years ago
• tlringer / thesis

  View on GitHub
  haha I'm graduating
  ☆14Jul 22, 2021Updated 4 years ago
• TOTBWF / agda-sgd

  View on GitHub
  Experiments in Synthetic Differential Geometry
  ☆16Jul 1, 2021Updated 4 years ago
• uemurax / morg

  View on GitHub
  Organize mathematical thoughts
  ☆21Oct 6, 2023Updated 2 years ago
• orchid-hybrid / minimips

  View on GitHub
  minikanren mips assembler/disassembler
  ☆34Mar 28, 2015Updated 10 years ago
• TheMatten / hask

  View on GitHub
  Funny little Haskell impl
  ☆18Oct 28, 2020Updated 5 years ago
• samskivert / compose

  View on GitHub
  An experimental programming language.
  ☆19May 16, 2019Updated 6 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
• RedPRL / agda-mugen

  View on GitHub
  A formalization of the theory behind the mugen library
  ☆19Jun 24, 2024Updated last year
• AndrasKovacs / misc-stuff

  View on GitHub
  Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.
  ☆21Feb 17, 2023Updated 2 years ago