eatonphil / ponyoLinks
Library and Toolkit for Standard ML
☆145Updated 2 years ago
Alternatives and similar repositories for ponyo
Users that are interested in ponyo are comparing it to the libraries listed below
Sorting:
- A Haskell implementation of the Shen programming language.☆168Updated 7 years ago
- nanopass compiler framework for Racket☆189Updated last year
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- A small implementation of type inference☆78Updated 10 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- APL Compiler targeting a typed array intermediate language☆213Updated 8 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆214Updated 2 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆200Updated 9 months ago
- Kenichi Asai's reflective programming language Black☆196Updated 3 years ago
- Nanopass for OCaml☆145Updated 7 years ago
- ☆71Updated 2 months ago
- SML reference interpreter☆116Updated 2 years ago
- Self-contained monadic parser combinators for OCaml☆149Updated last year
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆343Updated last year
- Malfunctional Programming☆347Updated 6 months ago
- Library for automatic unit testing of Standard ML modules☆71Updated 4 years ago
- ☆137Updated 2 years ago
- A small compiler for PCF☆124Updated 4 years ago
- Poly/ML☆503Updated last week
- The Definition of Standard ML, Revised (1997)☆114Updated 8 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆62Updated 3 years ago
- A less devious proof assistant☆224Updated 2 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆211Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆363Updated 4 months ago
- An in-memory datalog implementation for OCaml.☆269Updated 7 months ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆121Updated 12 years ago
- ☆79Updated 6 years ago
- A rudimentary Racket implementation using RPython☆261Updated this week
- Charity language interpreters and literature☆114Updated 6 years ago