Alternatives and similar repositories for adt

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

• stefanholek / conditional

  View on GitHub
  Conditionally enter a context manager
  ☆11Jun 3, 2024Updated last year
• lubieowoce / sumtype

  View on GitHub
  A namedtuple-style library for defining immutable sum types in Python.
  ☆27Apr 20, 2021Updated 4 years ago
• Toxaris / pts

  View on GitHub
  Interpreter for functional pure type systems.
  ☆21Jun 30, 2017Updated 8 years ago
• thautwarm / idris-python

  View on GitHub
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Apr 26, 2019Updated 6 years ago
• robrix / tilec

  View on GitHub
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Mar 26, 2020Updated 5 years ago
• Wilfred / Lython

  View on GitHub
  Toy Lisp to Python compiler
  ☆10Jan 26, 2014Updated 12 years ago
• geggo / cwrap

  View on GitHub
  ☆15Jul 13, 2019Updated 6 years ago
• sconybeare / mltt

  View on GitHub
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Feb 21, 2016Updated 9 years ago
• GrayJoKing / Cascade

  View on GitHub
  An esoteric language based on overlapping tree-like structures
  ☆10Oct 16, 2021Updated 4 years ago
• ibrahimsag / rw

  View on GitHub
  an experiment in presenting code.
  ☆14Aug 11, 2020Updated 5 years ago
• isidentical-archive / pepallow

  View on GitHub
  Use features of rejected PEPs
  ☆11Oct 11, 2019Updated 6 years ago
• ericgj / adt.py

  View on GitHub
  Tagged union types and immutable records (product types) in Python
  ☆11Jun 5, 2017Updated 8 years ago
• seagreen / llvm-in-haskell

  View on GitHub
  Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell
  ☆17Apr 13, 2019Updated 6 years ago
• meta-logic / sequoia-v0

  View on GitHub
  Design, play with, and analyze sequent calculus proof systems.
  ☆14Sep 5, 2024Updated last year
• caterinaurban / Typpete

  View on GitHub
  ☆36Sep 12, 2019Updated 6 years ago
• acorrenson / minilog

  View on GitHub
  A verified Implementation of a mini prolog
  ☆17Nov 27, 2022Updated 3 years ago
• timoniq / kungfu

  View on GitHub
  Functional typing in Python
  ☆17Jan 22, 2026Updated 3 weeks ago
• sixty-north / python-transducers

  View on GitHub
  ☆58Jun 29, 2017Updated 8 years ago
• dbrattli / OSlash

  View on GitHub
  Functors, Applicatives, And Monads in Python
  ☆747Nov 17, 2025Updated 3 months ago
• 3c1u / maysick

  View on GitHub
  A Programming language of directories. Just for fun.
  ☆15Feb 2, 2023Updated 3 years ago
• LightAndLight / meta-lambda

  View on GitHub
  Lambda Calculus with quote and unquote
  ☆19Jun 29, 2020Updated 5 years ago
• metadsl / metadsl

  View on GitHub
  Domain Specific Languages in Python
  ☆97Dec 1, 2023Updated 2 years ago
• dry-python / returns

  View on GitHub
  Make your functions return something meaningful, typed, and safe!
  ☆4,222Feb 10, 2026Updated last week
• lijunchen / vscode-cpython-explorer

  View on GitHub
  A VS Code extension help you explore CPython internals
  ☆15Mar 3, 2023Updated 2 years ago
• ingolemo / python-lenses

  View on GitHub
  A python lens library for manipulating deeply nested immutable structures
  ☆332Nov 15, 2023Updated 2 years ago
• kwanghoon / polyrpc

  View on GitHub
  PolyRPC, A multi-tier functional programming language
  ☆20Oct 4, 2022Updated 3 years ago
• alexkazik / qrcode

  View on GitHub
  QR code library in pure Haskell
  ☆22Feb 4, 2026Updated last week
• mb64 / simple-lambda-prolog

  View on GitHub
  A simple λProlog interpreter
  ☆20Nov 29, 2021Updated 4 years ago
• RichardMoot / LinearOne

  View on GitHub
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆20Nov 12, 2020Updated 5 years ago
• eviefp / logic-in-haskell

  View on GitHub
  Classical Logic in Haskell
  ☆24Nov 19, 2025Updated 2 months ago
• aionescu / oplang

  View on GitHub
  Stack-based esoteric programming language
  ☆18Jan 31, 2025Updated last year
• evertedsphere / rien

  View on GitHub
  Predictable Haskell development environments with Cabal and Nix.
  ☆66Oct 18, 2019Updated 6 years ago
• mrocklin / unification

  View on GitHub
  ☆71Feb 13, 2021Updated 5 years ago
• python-effect / effect

  View on GitHub
  effect isolation in Python, to facilitate more purely functional code
  ☆384Jun 26, 2022Updated 3 years ago
• thautwarm / frontend-for-free

  View on GitHub
  end the parsing problem
  ☆40Aug 7, 2022Updated 3 years ago
• thautwarm / moshmosh

  View on GitHub
  An amazing syntax extension system in pure Python, the way to coding efficiency.
  ☆108Jan 1, 2022Updated 4 years ago
• Risto-Stevcev / python-bytecode

  View on GitHub
  A Python bytecode compiler and bytecode generator.
  ☆23May 10, 2014Updated 11 years ago
• langston-barrett / write-yourself-a-scheme-in-agda

  View on GitHub
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Apr 18, 2018Updated 7 years ago
• Aiden01 / iris-lang

  View on GitHub
  A simple, statically-typed programming language
  ☆16Jul 7, 2019Updated 6 years ago