Alternatives and similar repositories for kleenexp

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

• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 3 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆69Updated 8 months ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• pannous / angle
  ⦠ Angle: new speakable syntax for python 💡
  ☆132Updated last year
• barneygale / pathlab
  Extends Pathlib to archives, images, remote filesystems, etc
  ☆35Updated 4 years ago
• daeken / kdl-py
  Python implementation of the KDL Document Language
  ☆39Updated 2 years ago
• diegojromerolopez / gelidum
  Freeze your objects in python
  ☆59Updated last week
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• pfalcon / awesome-python-compilers
  Retrospective of Python compilation efforts
  ☆65Updated 3 years ago
• DRMacIver / schroedinteger
  Is this integer dead or alive?
  ☆45Updated 8 years ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆172Updated 2 weeks ago
• keithasaurus / koda
  Type-safe functional tools for Python.
  ☆97Updated last year
• zmitchell / annotation-abuse
  Rust-like macros in Python by abusing type annotations
  ☆63Updated 6 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated 2 years ago
• facebookincubator / scrut
  Scrut is a testing toolkit for CLI applications. A tool to scrutinize terminal programs without fuss.
  ☆56Updated 2 weeks ago
• furkanonder / objerve
  A tiny observer for the attributes of Python objects.
  ☆34Updated 3 years ago
• bugout-dev / locust
  "git diff" over abstract syntax trees
  ☆59Updated 2 years ago
• life-itself / climate
  🌍🔥 Life Itself's ongoing inquiry into the climate crisis
  ☆47Updated 2 years ago
• StefanUlbrich / design-by-contract
  Handy decorator for elegant design-by-contract in 3.10+
  ☆102Updated 3 years ago
• pfalcon / pyastinterp
  Python AST interpreter (aka tree-walking interpreter) in Python. Aka meta-circular interpreter.
  ☆18Updated 4 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆101Updated last week
• chrisgrimm / better_partial
  ☆123Updated 3 years ago
• karlicoss / cachew
  Transparent and persistent cache/serialization powered by type hints
  ☆229Updated this week
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆86Updated 3 years ago
• emmatyping / python-typecheckers
  A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)
  ☆69Updated 2 weeks ago
• pschanely / contractual-semver
  Contractual Semver
  ☆28Updated 3 years ago
• markshannon / python_formal_semantics
  ☆17Updated 5 years ago
• Shoobx / mypy-zope
  Plugin for mypy to support zope.interface
  ☆40Updated 2 weeks ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆69Updated 3 years ago