mpcsh / ForML
Bachelor's thesis 2019
☆12Updated last year
Alternatives and similar repositories for ForML:
Users that are interested in ForML are comparing it to the libraries listed below
- A type-safe, stack-based functional programming language☆16Updated 2 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated last year
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 9 months ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- A comparison of Js_of_ocaml libraries for building reactive UIs☆11Updated 2 years ago
- language verification, construction, and analysis☆20Updated 3 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated last year
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- A mini language for logic programming☆24Updated 4 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- OCaml bindings for RE2☆46Updated 4 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Nested Relational Calculus embedded in Haskell☆16Updated 12 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Updated 4 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- An interpreter of F-ing modules☆19Updated 5 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Updated 3 months ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 11 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 3 years ago
- A general purpose relational language☆20Updated 5 years ago
- A traceable distributed computation framework☆22Updated 5 years ago