Tobias-Kohn / pyPMatch

Related projects ⓘ

Alternatives and complementary repositories for pyPMatch

• sdiehl / subpy
  Python subsets
  ☆41Updated 7 years ago
• mvitousek / reticulated
  Types for Python
  ☆86Updated 6 years ago
• thejohnfreeman / python-typeclasses
  Extensible methods for Python a la Haskell's typeclasses.
  ☆59Updated 9 months ago
• drhagen / parsita
  The easiest way to parse text in Python
  ☆101Updated this week
• azazel75 / macropy
  Macros in Python: quasiquotes, case classes, LINQ and more!
  ☆30Updated 4 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆70Updated last month
• markshannon / python_formal_semantics
  ☆17Updated 3 years ago
• caterinaurban / Typpete
  ☆35Updated 5 years ago
• dpiponi / Monad-Python
  A toy Python interpreter with monad comprehensions
  ☆54Updated 5 months ago
• Tobias-Kohn / TigerPython-Parser
  Enhanced error recognition in Python
  ☆39Updated this week
• radix / sumtypes
  Sum Types, aka Tagged Unions, for Python
  ☆42Updated 2 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆165Updated 7 months ago
• jspahrsummers / adt
  Algebraic data types for Python (experimental, not actively maintained)
  ☆172Updated 3 years ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated 11 months ago
• jacobaustin123 / Coral
  The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…
  ☆144Updated 3 years ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆25Updated 13 years ago
• ddfisher / HaPy
  Haskell bindings for Python
  ☆101Updated 3 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆39Updated 5 years ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆67Updated 4 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• mrocklin / unification
  ☆72Updated 3 years ago
• vstinner / fatoptimizer
  Static optimizer specializing functions with guards for Python 3.6
  ☆76Updated 5 years ago
• eregon / virtual-machines-research-graph
  A Virtual Machine Research Overview as a Graph
  ☆25Updated 3 years ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated last year
• brownplt / lambda-py
  ☆58Updated 10 years ago
• nitely / regexy
  Linear time regex matching supporting streams and other goodies
  ☆9Updated 4 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 4 years ago
• casevh / DecInt
  Decimal calculations on very large integers
  ☆10Updated 8 years ago