Alternatives and similar repositories for Combo:

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

• pigworker / MS4P
  being some thoughts about introductory mathematics for computer science
  ☆17Updated 9 months ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆54Updated last week
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆26Updated 3 months ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆51Updated last week
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago
• iwilare / church-rosser
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆27Updated 2 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆53Updated last year
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 5 years ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• j-mie6 / design-patterns-for-parser-combinators
  A Really Cool Calculator written in Haskell... or is it?
  ☆41Updated 3 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated this week
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆53Updated this week
• faulhornlabs / csip
  ☆21Updated this week
• rocq-community / coqtail-math
  Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…
  ☆16Updated 9 months ago
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• AndrasKovacs / system-f-omega
  System F-omega normalization by hereditary substitution in Agda
  ☆58Updated 5 years ago
• augustss / orthotope
  ☆26Updated 3 months ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 6 months ago
• pigworker / TypesWhoSayNi
  being the materials for a paper I have in mind to write about the bidirectional discipline
  ☆50Updated 8 months ago
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated 3 weeks ago
• marcusrossel / verified-compiler
  A toy example of a verified compiler.
  ☆28Updated this week
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆71Updated 5 years ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• giorgidze / set-monad
  Set monad
  ☆17Updated last year
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆56Updated 4 years ago
• AndrasKovacs / SemanticsWithApplications
  Formal semantics in Agda.
  ☆16Updated 9 years ago
• jkoppel / ecta
  ☆34Updated last year
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆34Updated 6 months ago