pikatchu / LinearMLLinks
Functional language for parallel programming
☆433Updated 8 years ago
Alternatives and similar repositories for LinearML
Users that are interested in LinearML are comparing it to the libraries listed below
Sorting:
- Malfunctional Programming☆350Updated 10 months ago
- An in-memory datalog implementation for OCaml.☆272Updated 11 months ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆354Updated last year
- The Hindley Milner Type Inference Algorithm☆372Updated 8 years ago
- 1ML prototype interpreter☆287Updated 5 years ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆401Updated 3 years ago
- Standard ML Compiler and Toolkit☆293Updated 2 weeks ago
- Self-contained monadic parser combinators for OCaml☆149Updated 2 years ago
- Poly/ML☆507Updated last week
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆202Updated last year
- ATS2: Unleashing the Potentials of Types and Templates☆372Updated 3 months ago
- Links: Linking Theory to Practice for the Web☆346Updated last month
- Pure OCaml Git format and protocol☆367Updated 4 months ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆201Updated 5 years ago
- A functional programming language based on algebraic effect handlers☆891Updated 3 months ago
- SML reference interpreter☆116Updated 2 months ago
- Reagents for multicore OCaml☆126Updated 2 years ago
- A small compiler for PCF☆127Updated 4 years ago
- Classic Algorithm W for type inference.☆254Updated 15 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆213Updated 2 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- A bibliography on Gradual Typing☆252Updated last year
- Nanopass for OCaml☆148Updated 7 years ago
- The implementation of microKanren, a featherweight relational programming language☆312Updated 11 years ago
- An OCaml lexer generator for Unicode☆262Updated 3 weeks ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- A less devious proof assistant☆226Updated 2 years ago
- Typed Regular Expressions☆179Updated 3 weeks ago