hausdorff / pyliLinks
A Python 3 compiler that anyone can understand.
☆67Updated 11 years ago
Alternatives and similar repositories for pyli
Users that are interested in pyli are comparing it to the libraries listed below
Sorting:
- A Python-like systems programming language☆84Updated 9 years ago
- A series of progressively more complex programming languages☆36Updated 11 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- 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
- Scripting with Least Privilege☆109Updated 8 years ago
- A simple http server written in Prolog☆30Updated 8 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- EPIC CUCUMBERS!☆28Updated 7 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Concurrency and Metaprogramming for JS☆261Updated 7 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago
- A small implementation of type inference☆80Updated 10 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- A strongly typed language for the web!☆40Updated 9 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- an attempt to implement miniKanren and microKanren in Python☆53Updated 11 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆56Updated 9 years ago
- Pure python functional programming☆28Updated 15 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- 301 moved permanently https://github.com/python-parsy/parsy☆42Updated 7 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- A small forth-like language that targets the CPython VM.☆52Updated 6 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 6 years ago
- A bytecode compiler for Python 3☆157Updated 5 years ago