Popular repositories Loading

1. hopper-v0 hopper-v0 Public

   a sound modern language for computation and transactional resource logic

   Haskell 101 8

2. hopper hopper Public

   Haskell 1

3. digger digger Public

   Haskell

4. fungi fungi Public

   fault tolerant replicated systems substrate

   Haskell

5. fsm-protocols fsm-protocols Public

   for simple labeled role FSM describable interaction models

   Haskell