Popular repositories Loading

1. RL-Framework RL-Framework Public archive

   Reinforcement Learning Framework

   Java 2 1

2. loxvm loxvm Public

   Lox VM - A bytecode virtual machine for Lox

   C 2 2

3. oopc oopc Public

   MVP Out of process Compilation

   C 2

4. veritas veritas Public

   Verification tool built on top of Isabelle/HOL proof assistant

   Isabelle 1

5. v8-gn-example v8-gn-example Public

   Example of a V8 embedder built with GN

   Python 1

6. Sophia-OS Sophia-OS Public

   Educational operating system.

   C 1