Pinned Loading

1. CakeML/cakeml CakeML/cakeml Public

   CakeML: A Verified Implementation of ML

   Standard ML 1.1k 92

2. heaplang-lazy-list-based-set heaplang-lazy-list-based-set Public

   Verifying a Lazy Concurrent List-Based Set Algorithm in Iris

   Coq 1

3. viperproject/gobra-libs viperproject/gobra-libs Public

   Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.

   Python 2 2

4. CakeML/candle CakeML/candle Public

   Forked from jrh13/hol-light

   The Candle theorem prover (fork of the HOL Light sources)

   OCaml 17 2

5. lucat1/fast-ternary-convolution lucat1/fast-ternary-convolution Public

   Highly optimized Ternary Convolutional Layer for the ETH course "Advanced Systems Lab" in Spring 2024.

   C++ 2

6. parallel-lsst parallel-lsst Public

   Forked from YBaumann/ParallelLSST

   Parallel implementation for finding low-stretch spanning trees.

   C++