Shaking expression trees until something tasty pops out
☆17Oct 30, 2018Updated 7 years ago
Alternatives and similar repositories for Coconut
Users that are interested in Coconut are comparing it to the libraries listed below
Sorting:
- ☆12Dec 9, 2022Updated 3 years ago
- A logic programming library for F#☆46Apr 4, 2015Updated 10 years ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated last month
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Visual Studio plugin for Pony☆12Dec 14, 2015Updated 10 years ago
- MSIL computation expression builder for F# implemented against IKVM.Reflection API☆19Mar 7, 2014Updated 11 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 5 months ago
- A port of Bryan O'Sullivan's attoparsec from Haskell to F#☆28Nov 29, 2017Updated 8 years ago
- ☆26Jul 18, 2022Updated 3 years ago
- Parallel ML benchmark suite☆21Dec 8, 2025Updated 2 months ago
- Spatial layout specifications for memory management systems.☆19Sep 2, 2020Updated 5 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Sep 9, 2018Updated 7 years ago
- Prototype for an F# MSIL DSL☆27Oct 24, 2013Updated 12 years ago
- LabVIEW NXG plugin for Rebar, a graphical dataflow language with ownership.☆18Aug 4, 2021Updated 4 years ago
- Layered Multiple Functional Aggregate Optimization☆17Oct 8, 2020Updated 5 years ago
- The web framework nobody asked for, wants, or needs.☆20Dec 14, 2020Updated 5 years ago
- Library for efficient learning of word representations and sentence classification.☆22Mar 19, 2018Updated 7 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 6 months ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Sep 3, 2023Updated 2 years ago
- An attribute grammar-based programming language for composable language extensions☆68Feb 23, 2026Updated last week
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆24Sep 11, 2024Updated last year
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆33Jun 10, 2022Updated 3 years ago
- Pads format description language☆21Nov 19, 2015Updated 10 years ago
- Typed Yaml Library for F#☆37Jun 20, 2022Updated 3 years ago
- A Futhark binding generator for Rust and OCaml☆30Feb 3, 2026Updated 3 weeks ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆33Feb 8, 2026Updated 3 weeks ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Jun 25, 2018Updated 7 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- Strict Haskell-like programming language that compiles to LLVM☆71Oct 31, 2019Updated 6 years ago
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 9 years ago
- ThinLisp is an open source Lisp to C translator.☆33Apr 24, 2015Updated 10 years ago
- The Brown Benchmark for Table Types (B2T2)☆67Jul 27, 2025Updated 7 months ago
- Effect-Driven Compiler Tester for OCaml☆37Sep 25, 2019Updated 6 years ago
- Implementation of the Aardappel programming language☆31May 29, 2017Updated 8 years ago
- ☆40Aug 5, 2024Updated last year
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Dec 18, 2025Updated 2 months ago
- minikanren mips assembler/disassembler☆34Mar 28, 2015Updated 10 years ago
- GoNative project: formal machines models in Coq☆36Aug 3, 2017Updated 8 years ago