MPLLang / parallel-ml-bench
Parallel ML benchmark suite
☆15Updated last week
Alternatives and similar repositories for parallel-ml-bench:
Users that are interested in parallel-ml-bench are comparing it to the libraries listed below
- Tutorial for using the MPL compiler for Parallel ML☆19Updated last week
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆24Updated 4 years ago
- A deterministic parser with fused lexing☆72Updated last year
- An extension of the NbE algorithm to produce computational traces☆21Updated 2 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Updated 4 years ago
- Finite sets and maps for Coq with extensional equality☆29Updated last month
- MetaML and MetaOCaml bibliography☆86Updated last month
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 3 years ago
- ☆51Updated last month
- Deadlock freedom by type checking☆19Updated last year
- Kleene algebra modulo theories☆27Updated 2 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆19Updated 3 months ago
- Gallina to Bedrock2 compilation toolkit☆51Updated 2 weeks ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆16Updated last week
- PL syntax macros.☆18Updated last week
- A verified compiler for a lazy functional language☆33Updated this week
- ModTT in Agda☆11Updated 3 years ago
- A cost-aware logical framework, embedded in Agda.☆59Updated 5 months ago
- multi-shot continuations in OCaml☆47Updated last week
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated 11 months ago
- Demo for dependent types + runtime code generation☆64Updated last month
- A dependent type theory with user defined data types☆45Updated 3 years ago
- Experiments with higher-order abstract syntax in Agda☆19Updated 2 years ago
- A repository of MetaOCaml packages☆12Updated last year
- Relation algebra library for Coq☆48Updated 2 months ago
- A bare-bones LCF-style proof assistant☆21Updated 5 years ago
- A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!☆16Updated 6 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆34Updated 5 years ago