Skip to content
@hopper-lang

Hopper Programing Language

Some old open source language prototypes from a corporate job long long ago, that may live again someday

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

Repositories

Showing 5 of 5 repositories
  • hopper Public
    hopper-lang/hopper’s past year of commit activity
    Haskell 1 BSD-2-Clause 0 0 0 Updated May 20, 2021
  • fsm-protocols Public

    for simple labeled role FSM describable interaction models

    hopper-lang/fsm-protocols’s past year of commit activity
    Haskell 0 BSD-3-Clause 0 0 0 Updated Jun 12, 2019
  • fungi Public

    fault tolerant replicated systems substrate

    hopper-lang/fungi’s past year of commit activity
    Haskell 0 BSD-2-Clause 0 0 0 Updated Oct 30, 2018
  • digger Public
    hopper-lang/digger’s past year of commit activity
    Haskell 0 BSD-3-Clause 0 0 0 Updated Jan 11, 2018
  • hopper-v0 Public

    a sound modern language for computation and transactional resource logic

    hopper-lang/hopper-v0’s past year of commit activity
    Haskell 101 BSD-2-Clause 8 6 0 Updated Sep 23, 2016

Top languages

Loading…

Most used topics

Loading…