Pinned Loading

1. icfp22-layered-monadic-interpreters icfp22-layered-monadic-interpreters Public

   artifact for ICFP'22 paper "Formal Reasoning About Layered Monadic Interpreters"

   Coq 6 2

2. vellvm/vellvm vellvm/vellvm Public

   The Vellvm (Verified LLVM) coq development.

   LLVM 401 34

3. cucapra/gator cucapra/gator Public

   Geometry types

   OCaml 26 11

4. nwtnni/gnocchi nwtnni/gnocchi Public

   Basic Minecraft-like procedurally generated world using WebGL and WebSockets

   JavaScript

5. vzaliva/helix vzaliva/helix Public

   Formally verified operator language and rewriting engine for high-performance computing

   Coq 23 4

6. flambda-backend flambda-backend Public

   Forked from ocaml-flambda/flambda-backend

   The Flambda backend project for OCaml

   OCaml