Alternatives and similar repositories for pyli

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

• melsman / aplcompile
  APL compiler written in Standard ML
  ☆36Updated 4 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• djc / runa
  A Python-like systems programming language
  ☆84Updated 9 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• kennknowles / python-rightarrow
  A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call the…
  ☆59Updated 12 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• jneen / parsy
  301 moved permanently https://github.com/python-parsy/parsy
  ☆42Updated 8 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆54Updated 11 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆111Updated 8 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 7 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆78Updated 4 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last month
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 8 years ago
• dbravender / pfpp
  Pure python functional programming
  ☆28Updated 15 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆80Updated 9 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• andychu / bwk
  Kernighan's Awk a.k.a. "One True Awk"
  ☆56Updated 9 years ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 5 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• llllllllll / phorth
  A small forth-like language that targets the CPython VM.
  ☆52Updated 7 years ago
• prakhar1989 / JSJS
  A strongly typed language for the web!
  ☆40Updated 9 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆34Updated 5 years ago
• mattgreen / learning-language-design
  A series of progressively more complex programming languages
  ☆36Updated 11 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago