Pinned Loading

1. deltalog deltalog Public

   A library for evaluating, optimizing, and synthesizing a datalog dialect.

   Rust 1

2. GamesCrafters/GamesmanClassic GamesCrafters/GamesmanClassic Public

   The classic C solver and tcl/tk frontend.

   C 24 22

3. lua-live lua-live Public

   Hot coding / edit and continue for Lua.

   C 1

4. angelic angelic Public

   Experimental, unfinished, real-time scripting language.

   JavaScript 1

5. ebddin ebddin Public

   "Evolving Binary Decision Diagrams using Implicit Neutrality" (Richard M. Downing, 2005) in Rust

   Rust

6. NDL3 NDL3 Public

   A transport protocol ("layer 3") with no dependencies.

   C 1