enthought / depsolver

Related projects: ⓘ

• logpy / strategies
  Programmatic Control Flow
  ☆13Updated 7 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆94Updated 7 years ago
• sdiehl / subpy
  Python subsets
  ☆41Updated 7 years ago
• vstinner / fatoptimizer
  Static optimizer specializing functions with guards for Python 3.6
  ☆76Updated 5 years ago
• enthought / sat-solver
  Default Repo description from terraform module
  ☆3Updated last week
• williame / obiwan
  a function parameter type checker; a json validator
  ☆80Updated 9 years ago
• tomerfiliba / srcgen
  The semantic code generation framework
  ☆29Updated 10 years ago
• abau / cppsat
  Propositional Encodings in C++11
  ☆18Updated 6 years ago
• brthor / lambdazen
  A better python lambda syntax (`a = (x) > x`) based on runtime source rewriting
  ☆45Updated 7 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• kislyuk / eight
  Python 2 to the power of 3
  ☆47Updated 3 years ago
• dbravender / pfpp
  Pure python functional programming
  ☆28Updated 14 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• hhatto / pyrapidjson
  Python binding for rapidjson
  ☆26Updated 6 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆58Updated last year
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆53Updated 5 years ago
• pkhuong / aerie
  Aerie: a regex-like engine nested word grammars
  ☆16Updated 2 years ago
• jneen / parsy
  301 moved permanently https://github.com/python-parsy/parsy
  ☆43Updated 6 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆30Updated last month
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• biometrics / likely
  A compiler intermediate representation for image recognition and heterogeneous computing.
  ☆78Updated 8 years ago
• geggo / cwrap
  ☆15Updated 5 years ago
• da-x / git-search-replace
  A utility on top of Git for project-wide search-and-replace that includes filenames too
  ☆49Updated 2 years ago
• sourcegraph / pydep
  a simple command line tool / package that prints the dependencies of a python project
  ☆28Updated 6 years ago
• stedolan / pathfinder
  pythonic filesystem library
  ☆35Updated 12 years ago
• dcreager / libpush
  An arrow-based parser combinator library for C
  ☆40Updated 14 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• MacPython / terryfy
  Utilities for testing OSX on travis-ci.org
  ☆35Updated 4 years ago
• pgbovine / python-parse-to-json
  ☆30Updated this week