Pinned Loading

1. CakeML/cakeml CakeML/cakeml Public

   CakeML: A Verified Implementation of ML

   Standard ML 1.1k 90

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

   Verifying a Lazy Concurrent List-Based Set Algorithm in Iris

   Coq

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. 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

5. parallel-lsst parallel-lsst Public

   Forked from YBaumann/ParallelLSST

   Parallel implementation for finding low-stretch spanning trees.

   C++

6. dafny-lang/dafny dafny-lang/dafny Public

   Dafny is a verification-aware programming language

   C# 3.1k 283