Choral, a Java-compatible language for type-safe multiparty protocols

What it does

Choral is a language for programming choreographies . A choreography is a multiparty protocol that defines how some roles (the proverbial Alice, Bob, etc.) should coordinate with each other to do something together. You can use Choral to program distributed authentication protocols, cryptographic protocols, business processes, parallel algorithms, or any other protocol for concurrent and distributed systems. At the press of a button, the Choral compiler translates a choreography into a library for each role. Developers can then use your libraries to make sure their programs (e.g. clients and services) follow your choreography correctly—see Choral’s methodology . Choral makes sure that your…from choral-lang.org

• 
  NodetermAug 2026 · nodeterm.dev · ▲130

  A node-based free open source terminal manager

• JA
  jq, a lightweight commandline JSON processor2012 · stedolan.github.com · ▲5
• 
  A lightweight JSON Parser without memory allocation in ~250 LOC2014 · github.com · ▲9
• 
  Nirvana, a WIP programming language2018 · github.com · ▲8
• CA
  Clause: an expressive JavaScript contract system, inspired by clojure.spec2017 · clause.js.org · ▲8
• 
  Jsong: faster than light streaming JSON parser and writer in C2017 · github.com · ▲9

• 
  SimCity, but with Permits▲902

  A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.

  Life & fun · 1d ago · permit.petercai.com

• IV
  I've been paying for a rural Tanzanian's education for 10 years▲778

  Life & fun · 13d ago · tanzaniaeducationproject.org

• 
  Bigwords.page – Turn any screen into a sign. The URL is the app▲728

  Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.

  Life & fun · 14d ago · bigwords.page

• 
  Guitoro, a virtual guitar you strum with your keyboard▲573

  Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.

  Life & fun · 8d ago · guitoro.com

• 
  See *almost* any carriers phone settings▲432

  Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.

  Life & fun · 12d ago · carrierexplode.com

• 
  The whole Solar System and every tracked satellite, live in the browser▲407

  Life & fun · 22d ago · space.bl2.net

• 
  HEY▲1,862

  Email at its best, new from Basecamp

  Growth · 2020 · hey.com

• 
  Linear▲767

  Streamlined issue tracking for software teams

  Dev tools · 2020 · linear.app

• 
  Lemon.io▲693

  Hire vetted developers on demand at startup prices

  Dev tools · 2020 · lemon.io

• 
  Toy Faces Library▲657

  A fun diverse library of 3D avatars for your design mockups.

  Work · 2020 · amrit.art

• 
  A Reddit reader that looks like the frontpage of a print newspaper▲638

  Unim.Press is a Reddit reader in the style of a certain classic metropolitan newspaper

  Life & fun · 2020 · unim.press

• 
  Hacker News front page in the style of a print newspaper▲627

  Hacker News front page in the style of a print newspaper

  Life & fun · 2020 · wolfgangfaust.com