ggaughan / dee

Related projects ⓘ

Alternatives and complementary repositories for dee

• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• un-def / polypie
  Python polymorphic functions done right
  ☆18Updated 5 years ago
• sdiehl / subpy
  Python subsets
  ☆41Updated 7 years ago
• mrocklin / unification
  ☆72Updated 3 years ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆22Updated 5 years ago
• mistasse / Prology
  Logic Programming for Python3
  ☆8Updated 8 years ago
• acatton / ohneio
  Parse protocols, without any I/O
  ☆46Updated 7 years ago
• DeloitteHux-Old / cycy
  EPIC CUCUMBERS!
  ☆30Updated 7 years ago
• dbravender / pfpp
  Pure python functional programming
  ☆28Updated 14 years ago
• takluyver / astcheck
  Check Python ASTs against templates
  ☆17Updated 9 months ago
• admk / patmat
  Functional-style recursive pattern matching in Python. Crazy stuff.
  ☆29Updated 8 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆19Updated 6 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• mssun / rpython-by-example
  RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.
  ☆15Updated 2 years ago
• brthor / lambdazen
  A better python lambda syntax (`a = (x) > x`) based on runtime source rewriting
  ☆46Updated 7 years ago
• xudd / xudd
  xudd
  ☆26Updated 9 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆33Updated 8 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 6 years ago
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated last year
• njsmith / metamodule
  Python "metamodules"
  ☆14Updated 7 years ago
• dmlockhart / rpython-experiments
  Toy interpreters for learning about the RPython Translation Toolchain
  ☆15Updated 9 years ago
• erezsh / typecast
  Typecast is an experimental python library for defining casts between classes.
  ☆14Updated 8 years ago
• iskandr / parakeet
  Runtime compiler for numerical Python
  ☆233Updated 3 years ago
• williame / obiwan
  a function parameter type checker; a json validator
  ☆80Updated 9 years ago
• llllllllll / phorth
  A small forth-like language that targets the CPython VM.
  ☆51Updated 6 years ago
• Nurdok / yieldfrom
  A backport of the `yield from` semantic from Python 3.x to Python 2.7
  ☆21Updated 4 years ago
• gaphor / generic
  Generic programming library for Python
  ☆60Updated this week
• monte-language / typhon
  A virtual machine for Monte.
  ☆67Updated 7 months ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 8 years ago