danghica

danghica's Stars

• maciejpirog/cpp-effects

  Effect handlers in C++

  Language:C++11510

• kbuzzard/xena

  Lean Library currently studying for a degree at Imperial College

  Language:Lean22822

• MirceaS/monoidal-nets

  Formalisation of Monoidal Hypernets and Hypergraphs used to model lambda calculus

  Language:Agda4

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

  A formalization of red-black trees in Agda

  Language:Agda2