hopper-lang/hopper-v0
a sound modern language for computation and transactional resource logic
HaskellBSD-2-Clause
Stargazers
- 5outh
- aelk
- AFDudley@vulcanize
- aoiroaoino@alp-inc
- bitemyapp
- bts@dropbox
- chetanPixelcop Research
- ChobbesPhiladelphia
- christo4ferris@IBM
- cocreature@digital-asset
- cotroneRedmond, WA
- ghaskinsManetu
- hoshRemine
- jbgi
- joelburget@google
- joom@Bloomberg
- jrraymond
- juanbono@lambdaclass
- kadwanevNew York, NY
- kushtiErgo Platform
- lotz84FOLIO
- lucasdicioccio
- mattgreenSystems and Technology Research
- Mikko-Finell
- NathanHowellPalo Alto, CA
- NodeGuy
- parsonsmatt@mercurytechnologies
- patrickmnCTO @clovyr
- puffnfreshLaunceston & North East Railway
- seidtgeistSeidt Business
- sheganinansData Scientist & Language Architect
- srdersonDurham, NC
- stefanpenner@LinkedIn
- suranapBrooklyn, NY
- valpackettArgentina ⭐⭐⭐
- withzombiesNew York, NY