Pinned Loading

1. Z3Prover/z3 Z3Prover/z3 Public

   The Z3 Theorem Prover

   C++ 12.6k 1.7k

2. divyanshsinghvi/Scala-Compiler divyanshsinghvi/Scala-Compiler Public

   A scala compiler in python to convert the code to x86

   HTML 2

3. go go Public

   Forked from golang/go

   The Go programming language

   Go

4. OS-project OS-project Public

   Forked from prannayk/OS-project

   C++

5. kbagg/Interpreter-POPL kbagg/Interpreter-POPL Public

   Oz

6. kbagg/2-safety-verification kbagg/2-safety-verification Public

   Python 2