emideluxe

emideluxe's Stars

• statebox/awesome-applied-ct

  ACT community resources

  46325

• statebox/fsm-oracle

  Finite state machines as graphs

  Language:Idris587

• statebox/cql

  CQL: Categorical Query Language implementation in Haskell

  Language:Haskell16315

• typedefs/typedefs

  Programming language agnostic type construction language based on polynomials.

  Language:Idris36618

• statebox/idris-ct

  formally verified category theory library

  Language:Idris25523