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
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 9 months ago
- secret project☆17Updated 7 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A type-safe, stack-based functional programming language☆15Updated last month
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Updated 6 years ago
- Visualization tool for your IO-uring workload☆15Updated 7 months ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Some rudimentary proofs on subtyping☆11Updated 3 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 5 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Updated last year
- Writeup that goes along with this:☆15Updated 6 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 3 years ago
- Low-level OCaml/Java interface☆13Updated 7 months ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- unloading modules with ocaml native☆16Updated 4 years ago
- My PhD Thesis☆13Updated 3 years ago
- A pipeline that deploys unikernels and other services☆23Updated 3 weeks ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Type Theory in Type Theory using Cubical Agda☆12Updated 6 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago