Pinned Loading

1. EdgeML EdgeML Public

   Forked from microsoft/EdgeML

   This repository provides code for machine learning algorithms for edge devices developed at Microsoft Research India.

   C++ 2 3

2. boogie-org/corral boogie-org/corral Public

   solver for the reachability modulo theories problem

   Boogie 60 30

3. alive2 alive2 Public

   Forked from AliveToolkit/alive2

   Automatic verification of LLVM optimizations

   C++

4. SjceResults SjceResults Public

   SjceResults is an examination results analytics website.

   TSQL 1

5. null-pointer-dereference null-pointer-dereference Public

   Java

6. pintos pintos Public

   http://web.stanford.edu/class/cs140/projects/pintos/pintos.html

   HTML 1 1