Popular repositories Loading

1. DBx1000_logging DBx1000_logging Public

   The logging module of the DBx1000 database.

   C++ 15 9

2. LitmusDB LitmusDB Public

   A Cryptographically Verifiable DBMS

   C 4 2

3. LiTM LiTM Public

   A Lightweight Deterministic Software Transactional Memory System

   C++ 2 1

4. BinaryNet BinaryNet Public

   Forked from itayhubara/BinaryNet

   Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1

   Lua

5. diem diem Public

   Forked from diem/diem

   Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

   Rust

6. dip dip Public

   Forked from diem/dip

   Libra Improvement Proposals

   JavaScript