Survey of Integrated Language and OS Projects - oils-for-unix/oils GitHub Wiki

Distributed OS and Language

  • Unison Computing
    • Haskell-like language
    • Unison Cloud Platform
      • Deploy to the cloud with a function call
      • Access scalable storage like in-memory data structures. Call services as easily as local functions.
    • Public-benefit corporation?

Lisp-y

  • Urbit - a clean-slate OS and network for the 21st century

    • Lisp + Unix kind of architecture
    • bytecode VM and langauge on top
    • networking
    • crypto stuff / ethereum for identity
    • not secure yet ?
    • was VC-backed startup, and private company

  • Spritely - I think built on Guile Scheme

    • Spritely is building the next generation of decentralized networking technology.
    • Spritely builds on our experience co-authoring ActivityPub, the largest decentralized social network on the web to date, while applying powerful ideas from object capability security research.
    • private funding? non-profit?

  • ScrapScript - this is mostly a design

Single Machine

Older / Classic

  • Unix + C from Bell Labs
  • Oberon from Wirth - Pascal/Modula family of languages, and personal operating systems
  • Did Xerox Alto have a language, etc.?

PC Era

  • Amiga ?

Links

Survey of Hosting Platforms aka Distributed OS

Back to Surveys and Comparisons