Alternatives and similar repositories for lambdaX

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

• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• llllllllll / adt
  Algebraic data types for python
  ☆22Updated 8 years ago
• sdiehl / subpy
  Python subsets
  ☆41Updated 8 years ago
• un-def / polypie
  Python polymorphic functions done right
  ☆18Updated 6 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆21Updated 2 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• tek / amino
  functional data structures and utilities for python
  ☆36Updated 6 years ago
• jneen / parsy
  301 moved permanently https://github.com/python-parsy/parsy
  ☆42Updated 7 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• windelbouwman / pyspeedscope
  ☆16Updated 3 years ago
• brthor / lambdazen
  A better python lambda syntax (`a = (x) > x`) based on runtime source rewriting
  ☆46Updated 8 years ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 13 years ago
• erezsh / typecast
  Typecast is an experimental python library for defining casts between classes.
  ☆14Updated 8 years ago
• getslash / flux
  Library for simulating time progression in Python
  ☆16Updated 7 months ago
• scoder / quicktions
  Fast fractions reimplementation in Cython
  ☆40Updated 2 months ago
• evhub / coconut-prelude
  An implementation of Haskell's Prelude in Python using Coconut.
  ☆21Updated 10 months ago
• datalib / StatsCounter
  Python's missing statistical Swiss Army knife
  ☆15Updated 9 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 7 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 7 years ago
• borntyping / python-infix
  An experiment to use infix operators in Python
  ☆56Updated 6 years ago
• acatton / ohneio
  Parse protocols, without any I/O
  ☆48Updated 7 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 5 months ago
• zopefoundation / persistent
  automatic persistence for Python objects
  ☆46Updated 2 months ago
• Nurdok / yieldfrom
  A backport of the `yield from` semantic from Python 3.x to Python 2.7
  ☆20Updated 5 years ago
• asrp / python_terp
  A minimal Python interpreter in Python with runtime AST definition and edit-and-continue
  ☆33Updated 7 years ago
• kennknowles / python-rightarrow
  A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call the…
  ☆59Updated 11 years ago
• beeware / galley
  A GUI tool for reviewing ReST/Sphinx documentation
  ☆26Updated 2 years ago
• DRMacIver / glassbox
  A library for tracking program state
  ☆15Updated 8 years ago
• radix / sumtypes
  Sum Types, aka Tagged Unions, for Python
  ☆43Updated 3 years ago
• evhub / cpyparsing
  Cython PyParsing implementation.
  ☆30Updated 7 months ago