BruceJillis / fp.pyLinks
Compiler and interpreter for a miranda-like functional language in Python.
☆12Updated 14 years ago
Alternatives and similar repositories for fp.py
Users that are interested in fp.py are comparing it to the libraries listed below
Sorting:
- APL Compiler targeting a typed array intermediate language☆217Updated last year
- OCaml implementation of the K 2.0 array programming language☆81Updated 9 years ago
- APL compiler written in Standard ML☆36Updated 5 years ago
- Library and Toolkit for Standard ML☆145Updated 3 years ago
- A small compiler for PCF☆127Updated 5 years ago
- A small implementation of type inference☆80Updated 10 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 years ago
- A Haskell implementation of the Shen programming language.☆168Updated 7 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆126Updated 12 years ago
- MIT Scheme environment for the browser☆59Updated 8 years ago
- Streaming library for bulk memory operations with Standard ML in MLton☆28Updated 10 years ago
- An interpreter for a J-inspired language☆92Updated 2 years ago
- Kenichi Asai's reflective programming language Black☆198Updated 3 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆214Updated 3 years ago
- deleted. i recommend using k instead: https://codeberg.org/ngn/k☆234Updated 4 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 9 years ago
- A tiny self-hosting Lisp-to-C compiler☆238Updated 5 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- APL is the greatest language ever☆68Updated last year
- adds an optional type system to J language☆21Updated 10 years ago
- Collapsing Towers of Interpreters☆93Updated 7 months ago
- Metaprogramming framework for .net☆92Updated 6 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆98Updated 10 years ago
- a python-like language with hindley-milner-like type system, which is compiled to c☆246Updated 4 years ago
- Constraint programming language embedded in Racket☆154Updated 4 years ago
- Prolog implementation of microKanren☆44Updated 10 years ago
- The Mythryl programming language☆117Updated 10 years ago