Pinned Loading

1. rhodiumdb/rhodium rhodiumdb/rhodium Public

   A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly efficient.

   C++ 10 1

2. google/xls google/xls Public

   XLS: Accelerated HW Synthesis

   C++ 1.5k 236

3. chemsim chemsim Public

   An attempt at writing a Lattice Boltzmann CFD simulator in Rust

   Rust 9 1

4. chessai/hsdatalog chessai/hsdatalog Public

   BDD-based implementation of Datalog

   Haskell 38 2

5. awakesecurity/language-ninja awakesecurity/language-ninja Public

   A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.

   Haskell 35 1

6. deeper-game/deeper deeper-game/deeper Public

   Cooperative first-person roguelike dungeon crawler where spells are programs

   Rust 18