Skip to content
View chessai's full-sized avatar

Organizations

@haskell @NixOS @haskell-streaming @themonadreader @haskell-snmp @haskell-primitive @byteverse @rhodiumdb

Block or report chessai

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
chessai/README.md

Hi there, I'm chessai 👋

I'm a Software Engineer!

  • I'm former chair/member of the Haskell Core Libraries Committee
  • I'm interested in build systems, package managers, compilers, operating systems, data structures, embedded strongly-typed pure functional programming
  • I (co-)maintain over 100 Haskell packages

Pinned Loading

  1. facebook/duckling facebook/duckling Public

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

    Haskell 4.3k 740

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

  3. deeper-game/deeper deeper-game/deeper Public

    Cooperative first-person roguelike dungeon crawler where spells are programs

    Rust 18

  4. nikita-volkov/refined nikita-volkov/refined Public

    Refinement types with static checking

    Haskell 194 32

  5. hsdatalog hsdatalog Public

    BDD-based implementation of Datalog

    Haskell 38 2

  6. nixos-configs nixos-configs Public

    my nixos configs

    Nix 15 2