mpcsh / ForMLLinks
Bachelor's thesis 2019
☆12Updated 2 years ago
Alternatives and similar repositories for ForML
Users that are interested in ForML are comparing it to the libraries listed below
Sorting:
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- Proof of concept to generate safe and fast JavaScript☆24Updated 3 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Updated 7 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 4 years ago
- The official compiler for the Quartz programming language☆29Updated 7 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- language verification, construction, and analysis☆20Updated 3 years ago
- the ill programming language & interpreter☆13Updated 7 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 5 months ago
- Writeup that goes along with this:☆15Updated 7 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- Multilingualization for the OCaml source code☆49Updated 6 years ago
- The web framework nobody asked for, wants, or needs.☆20Updated 4 years ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Low-level OCaml/Java interface☆13Updated last year
- A TOML parser for Idris 2☆17Updated last year
- Practical type inference for arbitrary-rank types☆11Updated 6 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- Compiler and tools for the L programming language☆72Updated last year
- The Alms Programming Language☆44Updated 7 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 5 years ago
- S-expression pretty-printer☆21Updated last week
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 4 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆18Updated last month