bjornbugge

bjornbugge's Stars

• deondigital/firetruck

  CLI tool for Deon Digital products

  Language:TypeScript4

• google/googletest

  GoogleTest - Google Testing and Mocking Framework

  Language:C++34.4k10.1k

• ulrikrasmussen/BoxProver

  Simple web interface for writing box proofs in Twelf

  Language:HTML7

• diku-kmc/regexps-syntax

  Language:Haskell41

• diku-kmc/kleenexlang

  The Kleenex programming language

  Language:Haskell544