Popular repositories Loading

1. orc_fdw orc_fdw Public

   PostgreSQL extension which implements a Foreign Data Wrapper (FDW) for ORC files.

   C 16 4

2. iodine iodine Public

   Iodine: Verifying Constant-Time Execution of Hardware

   C++ 12

3. compressedfile_fdw compressedfile_fdw Public

   PostgreSQL foreign data wrapper for compressed files.

   3 2

4. verilog-parser-c verilog-parser-c Public

   C 3

5. vim-hs-plugins vim-hs-plugins Public

   Haskell 2

6. goolong goolong Public

   Source code of Goolong, from "Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs"

   Prolog 2 2