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
- The official compiler for the Quartz programming language☆29Updated 7 years ago
- language verification, construction, and analysis☆20Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 4 months ago
- My Attempt at System Fω with Row-Polymorphism☆30Updated 4 years ago
- Proof of concept to generate safe and fast JavaScript☆24Updated 3 years ago
- A general purpose relational language☆19Updated 5 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
- Kempe is a compiled stack-based language☆58Updated 11 months ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Writeup that goes along with this:☆15Updated 7 years ago
- Practical type inference for arbitrary-rank types☆11Updated 6 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
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- the ill programming language & interpreter☆13Updated 6 years ago
- a self-hosting lambda calculus compiler☆37Updated 5 months ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- The web framework nobody asked for, wants, or needs.☆20Updated 4 years ago
- A TOML parser for Idris 2☆17Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Multilingualization for the OCaml source code☆49Updated 6 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago