MPLLang / parallel-ml-benchLinks
Parallel ML benchmark suite
☆16Updated last month
Alternatives and similar repositories for parallel-ml-bench
Users that are interested in parallel-ml-bench are comparing it to the libraries listed below
Sorting:
- Benchmark repository of polyglot effect handler examples☆24Updated last month
- PL syntax macros.☆19Updated 2 weeks ago
- Git repository for the course Logika v računalništvu☆12Updated 3 years ago
- Deadlock freedom by type checking☆20Updated 2 years ago
- A monadic library for symbolic evaluation☆66Updated 2 weeks ago
- Tutorial for using the MPL compiler for Parallel ML☆19Updated 4 months ago
- A deterministic parser with fused lexing☆73Updated last year
- A cost-aware logical framework, embedded in Agda.☆61Updated this week
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆19Updated last month
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Updated 4 years ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 8 months ago
- An extension of the NbE algorithm to produce computational traces☆22Updated 3 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago
- A style guide for Coq☆18Updated 3 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆24Updated 4 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- ☆33Updated 7 months ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated last year
- EGraphs in OCaml☆65Updated last year
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 3 months ago
- ModTT in Agda☆11Updated 3 years ago
- ☆55Updated 2 months ago
- A verified compiler for a lazy functional language☆36Updated 3 weeks ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆22Updated 8 years ago
- ☆15Updated last month
- Dafny for Metatheory of Programming Languages☆25Updated 2 weeks ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆23Updated 5 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Updated 4 months ago
- Gallina to Bedrock2 compilation toolkit☆54Updated this week