Pinned

1. facebook/duckling Public

   Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

   Haskell 3.8k 714

2. 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

3. deeper-game/deeper Public

   Cooperative first-person roguelike dungeon crawler where spells are programs

   Rust 12

4. nikita-volkov/refined Public

   Refinement types with static checking

   Haskell 170 27

5. hsdatalog Public

   BDD-based implementation of Datalog

   Haskell 33 2

6. nixos-configs Public

   my nixos configs

   Nix 14 2