danghica

danghica's Stars

• kbuzzard/xena

  Lean Library currently studying for a degree at Imperial College

  Language:Lean22827522

• maciejpirog/cpp-effects

  Effect handlers in C++

  Language:C++1155010

• MirceaS/monoidal-nets

  Formalisation of Monoidal Hypernets and Hypergraphs used to model lambda calculus

  Language:Agda4300

• lives-group/red-black-trees-agda

  A formalization of red-black trees in Agda

  Language:Agda20