Alternatives and similar repositories for mkcodes:

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

• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• emmatyping / abserde
  Generate fast JSON parsers based on type stubs
  ☆12Updated 4 years ago
• llllllllll / quelling_blade
  Arena allocator for Python objects.
  ☆11Updated 4 years ago
• maximkulkin / hypothesis-regex
  Hypothesis extension to allow generating strings based on regex
  ☆26Updated 6 years ago
• elcaminoreal / gather
  Gather -- collect all your plugins!
  ☆12Updated last year
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 5 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆11Updated last year
• llllllllll / adt
  Algebraic data types for python
  ☆22Updated 7 years ago
• jwilk / pydiatra
  yet another static checker for Python code
  ☆21Updated last week
• takluyver / backcall
  Backwards compatible callback APIs
  ☆19Updated 4 years ago
• agronholm / ircproto
  IRC state-machine based protocol implementation
  ☆19Updated 3 years ago
• getslash / flux
  Library for simulating time progression in Python
  ☆14Updated 3 months ago
• acatton / ohneio
  Parse protocols, without any I/O
  ☆47Updated 7 years ago
• pypy / manylinux
  Docker image for building PyPy manylinux wheels
  ☆17Updated 2 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 7 years ago
• ketralnis / pipelines-rs
  A rust crate for creating concurrent pipelines
  ☆9Updated 6 years ago
• konstin / monotrail-resolve
  WIP a faster python dependency resolver to replace `poetry lock` and `pip-compile`
  ☆13Updated 11 months ago
• oremanj / tricycle
  Experimental extensions to Trio, the friendly Python async I/O library
  ☆25Updated 5 months ago
• afonsonf / ceph-consensus-spec
  TLA+ specification of the Ceph consensus algorithm
  ☆22Updated 2 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• aisk / backports.interpreters
  interpreters module in python which is backported from the future
  ☆9Updated last year
• untitaker / pytest-subtesthack
  A hack to explicitly set up and tear down fixtures.
  ☆17Updated 2 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated last year
• Nurdok / yieldfrom
  A backport of the `yield from` semantic from Python 3.x to Python 2.7
  ☆21Updated 5 years ago
• savarin / bridge
  speed up Python with Rust via WebAssembly - Oct 2020
  ☆23Updated 4 years ago
• pypy / pyrepl
  Pure python readline - works on Python 2, Python 3, PyPy 2, PyPy 3
  ☆32Updated last year
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 3 years ago
• pyston / python-macrobenchmarks
  A collection of macro benchmarks for the Python programming language
  ☆22Updated 2 months ago
• elazarg / uncalled
  Finding unused functions in Python projects
  ☆16Updated 4 months ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago