Alternatives and similar repositories for mexdown

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

• jameysharp / live-long-and-prospero

  View on GitHub
  A small compiler for the Prospero Challenge in Constructive Solid Geometry
  ☆11Nov 28, 2025Updated 2 months ago
• pa-ba / AsyncRattus

  View on GitHub
  ☆14Nov 4, 2025Updated 3 months ago
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17Updated this week
• jmatosp / collections

  View on GitHub
  Go slice collections handling
  ☆12Feb 11, 2020Updated 6 years ago
• wareya / filli

  View on GitHub
  Small powerful micro scripting language <1K SLOC
  ☆62Oct 5, 2025Updated 4 months ago
• sirkon / goproxy

  View on GitHub
  Middleware for go modules proxy
  ☆13Sep 15, 2019Updated 6 years ago
• hkust-taco / superf

  View on GitHub
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆15May 22, 2024Updated last year
• fortlang / fort

  View on GitHub
  Compiler for the fort programming language
  ☆14Jun 30, 2025Updated 7 months ago
• panicz / grasp-android

  View on GitHub
  GRASP for Android
  ☆16Mar 13, 2023Updated 2 years ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated last year
• ncfavier / glam

  View on GitHub
  Polymorphic guarded λ-calculus
  ☆22Jul 17, 2025Updated 6 months ago
• iamsalnikov / gorespect

  View on GitHub
  Show your respect to packages which you use in your projects
  ☆19Feb 13, 2018Updated 8 years ago
• ollef / system-f-omega-agda

  View on GitHub
  A formalization of System Fω in Agda
  ☆20Dec 23, 2025Updated last month
• monomere / pshine

  View on GitHub
  Atmosphere and planet rendering playground.
  ☆25Jan 4, 2026Updated last month
• ThePuzzlemaker / tethys

  View on GitHub
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Mar 4, 2024Updated last year
• ziman / idris-data-frame

  View on GitHub
  Data frames for Idris 2
  ☆23Jan 10, 2023Updated 3 years ago
• ehatti / konna

  View on GitHub
  ☆16Apr 19, 2022Updated 3 years ago
• bn-d / ppx_subliner

  View on GitHub
  [@@ deriving] plugin to generate Cmdliner sub-command groups, and ppx rewriter to generate Cmdliner evaluations.
  ☆21Jan 18, 2026Updated 3 weeks ago
• L-TChen / BiSig

  View on GitHub
  Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically
  ☆21Jan 30, 2024Updated 2 years ago
• JohnDTill / Neb

  View on GitHub
  Parser with a nebulous purpose
  ☆18Feb 3, 2021Updated 5 years ago
• thamugadi / mltt-c

  View on GitHub
  Martin-Löf type theory + W-types implemented in C (WIP)
  ☆27Aug 9, 2025Updated 6 months ago
• ionathanch / TTBFL

  View on GitHub
  A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.
  ☆22Jan 28, 2026Updated 2 weeks ago
• yallop / metaocaml-letrec

  View on GitHub
  flexible 'let rec' generation for MetaOCaml
  ☆28Jan 25, 2026Updated 3 weeks ago
• hide-kawabata / traf

  View on GitHub
  A proof tree viewer that works with Coq through Proof General
  ☆28Jan 29, 2021Updated 5 years ago
• Robbepop / apint

  View on GitHub
  Arbitrary precision integers library.
  ☆28Mar 25, 2021Updated 4 years ago
• mb64 / sel

  View on GitHub
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Nov 7, 2020Updated 5 years ago
• art-w / x-ocaml

  View on GitHub
  OCaml notebooks as a WebComponent
  ☆47Oct 4, 2025Updated 4 months ago
• gavr123456789 / Niva

  View on GitHub
  Smalltalk like programming language
  ☆67Updated this week
• AndrasKovacs / universes

  View on GitHub
  Generalized syntax & semantics for universe hierarchies
  ☆32Dec 11, 2023Updated 2 years ago
• AndrasKovacs / 2ltt-impl

  View on GitHub
  Eventually a practical 2-level TT-based compiler
  ☆31Feb 3, 2026Updated last week
• xnning / MpEff

  View on GitHub
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆33Mar 16, 2021Updated 4 years ago
• RedPRL / stagedtt

  View on GitHub
  🪆 A Staged Type Theory
  ☆35Sep 4, 2023Updated 2 years ago
• matklad / abont

  View on GitHub
  Finally, a shell for all seasons!
  ☆125Jan 2, 2025Updated last year
• laysakura / louds-rs

  View on GitHub
  High performance LOUDS (Level-Order Unary Degree Sequence) library
  ☆35Jul 19, 2024Updated last year
• bootstrapworld / codemirror-blocks

  View on GitHub
  A library for building language-specific, CodeMirror-friendly editors that are a11y-friendly.
  ☆29Apr 16, 2023Updated 2 years ago
• marcusrossel / verified-compiler

  View on GitHub
  A toy example of a verified compiler.
  ☆31Feb 5, 2026Updated last week
• jDomantas / internal-iterator

  View on GitHub
  ☆30Apr 26, 2024Updated last year
• astump / cedille-core-spec

  View on GitHub
  Specification of the Cedille Core language
  ☆35Jul 21, 2020Updated 5 years ago
• RedPRL / mugen

  View on GitHub
  ♾️ A library for universe levels and universe polymorphism
  ☆37Nov 21, 2025Updated 2 months ago