Functional language for parallel programming
☆438Jun 21, 2017Updated 9 years ago
Alternatives and similar repositories for LinearML
Users that are interested in LinearML are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Process pools for OCaml☆30Aug 28, 2013Updated 13 years ago
- Malfunctional Programming☆357Mar 9, 2026Updated 7 months ago
- 1ML prototype interpreter☆303Jun 28, 2020Updated 6 years ago
- Functional programming language for JVM.☆253Sep 26, 2026Updated last month
- Implementations of various type systems in OCaml.☆1,604Aug 31, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- MLWorks is a Standard ML compiler and development environment.☆181Apr 15, 2018Updated 8 years ago
- A small implementation of type inference☆80May 19, 2015Updated 11 years ago
- A functional programming language based on algebraic effect handlers☆924Updated this week
- HyperText & Caml Meta Language☆12Apr 6, 2011Updated 15 years ago
- A basic HTTP daemon implemented on top of ocaml-cohttp☆10Feb 29, 2012Updated 14 years ago
- an R-tree implementation in OCaml☆24Jul 31, 2023Updated 3 years ago
- twitter streaming library for ocaml☆17May 14, 2011Updated 15 years ago
- MLton for scalable multicore architectures☆57Mar 10, 2014Updated 12 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆212Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Unboxed arrays for OCaml☆26Jul 28, 2014Updated 12 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆222Nov 25, 2022Updated 3 years ago
- Nanopass for OCaml☆147Dec 21, 2017Updated 8 years ago
- ☆40May 1, 2016Updated 10 years ago
- Reactive programming… in the shell☆30Nov 10, 2017Updated 8 years ago
- CakeML: A Verified Implementation of ML☆1,219Updated this week
- Prototype type inference engine☆207Jan 31, 2025Updated last year
- The Alms Programming Language☆43Aug 29, 2018Updated 8 years ago
- Extension to OCaml for deriving functions from type declarations.☆24Sep 4, 2010Updated 16 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆15Oct 13, 2010Updated 16 years ago
- Small footprint, easy to use STOMP message broker designed for task queues and IPC☆80Feb 13, 2017Updated 9 years ago
- Bitcoin node implementation in OCaml☆13Jan 23, 2026Updated 9 months ago
- The language of the future!☆72Jan 7, 2024Updated 2 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆210Aug 15, 2024Updated 2 years ago
- A library to write emacs plugins in OCaml☆22May 20, 2016Updated 10 years ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆411Jan 26, 2024Updated 2 years ago
- The MLton repository☆1,097Oct 3, 2026Updated 3 weeks ago
- A Datalog implementation with an OCaml inspired module system☆45Oct 13, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Poly/ML☆576Oct 10, 2026Updated 3 weeks ago
- A statically typed concatenative systems programming language.☆1,178Apr 10, 2023Updated 3 years ago
- Examples for Algebraic Effects talk at OCaml'15 Workshop☆15May 31, 2016Updated 10 years ago
- Standard ML Compiler and Toolkit☆308Updated this week
- MLton with Realtime GC and Threading features☆100Mar 7, 2024Updated 2 years ago
- A type-safe, stack-based functional programming language☆17Jul 5, 2026Updated 3 months ago
- The transitory OCaml software packager☆69Sep 8, 2026Updated last month