Skip to content

@hopper-lang Hopper Programing Language

Change the repository type filter

All

    Repositories list

    5 repositories

    • hopper

      Public
      Haskell
      •
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated May 20, 2021May 20, 2021

    • fsm-protocols

      Public
      for simple labeled role FSM describable interaction models
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jun 12, 2019Jun 12, 2019

    • fungi

      Public
      fault tolerant replicated systems substrate
      Haskell
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Oct 30, 2018Oct 30, 2018

    • digger

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jan 11, 2018Jan 11, 2018

    • hopper-v0

      Public
      a sound modern language for computation and transactional resource logic
      Haskell
      •
      BSD 2-Clause "Simplified" License
      •8•101•6•0•Updated Sep 23, 2016Sep 23, 2016