Popular repositories Loading

1. lustre-compiler lustre-compiler Public

   Compile Lustre to C

   Haskell 2

2. mutable-array mutable-array Public

   Mutable arrays similar to linear-base with efficient but unsafe splits and joins

   Haskell 1

3. mpl mpl Public archive

   Forked from MPLLang/mpl

   The MaPLe compiler for Parallel ML

   Standard ML

4. ocaml-benchmarks ocaml-benchmarks Public archive

   Benchmarks from ICFP'21 paper: https://dl.acm.org/doi/10.1145/3473596

   OCaml

5. lustre-w lustre-w Public

   Forked from GaloisInc/lustre-w

   A parser and AST for Lustre

   Haskell

6. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM