mpcsh / ForML
Bachelor's thesis 2019
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ForML
- an encoding of affine effect handlers using pthreads☆12Updated 2 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated last year
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 4 months ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- A type-safe, stack-based functional programming language☆15Updated 2 years ago
- secret project☆17Updated 6 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 4 years ago
- Code examples for OCaml.☆9Updated 4 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Proof of concept to generate safe and fast JavaScript☆25Updated 2 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Updated last year
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Updated 4 years ago
- Unofficial OCaml Standard Library Docs - Modern Theme☆11Updated 6 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Nested Relational Calculus embedded in Haskell☆16Updated 12 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 5 years ago
- My PhD Thesis☆14Updated 2 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- ☆36Updated 6 years ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- This repository is supposed to hold a released version of Xanadu☆23Updated 3 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated last year
- A general purpose relational language☆20Updated 4 years ago