Pinned Loading

1. souffle-lang/souffle souffle-lang/souffle Public

   Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

   C++ 1.2k 252

2. aoc24-datalog aoc24-datalog Public

   advent of code 2024 in souffle datalog

   Ruby

3. aoc25-rust aoc25-rust Public

   advent of code 2025 in rust

   Rust

4. aoc24-rust aoc24-rust Public

   advent of code 2024 in rust

   Rust

5. souffle-lang/souffle-lang.github.io souffle-lang/souffle-lang.github.io Public

   Soufflé

   HTML 7 65

6. soulaklabs/bitoduc.fr soulaklabs/bitoduc.fr Public

   A website about french words for computer concepts.

   JavaScript 307 76