Soft-launch Boba: a statically-typed concatenative programming language

This page summarizes the projects mentioned and recommended in the original post on /r/concatenative

WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • boba

    A general purpose statically-typed concatenative programming language. (by glossopoeia)

  • wort

    A core concatenative programming language with variables and first-rank polymorphic type inference

    • I appreciate that. Believe it or not, the first iteration was called Wort. I went through a lot of names before getting to Boba. Finding a good name takes time!

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo

  • mlscript

    The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

    • The third language is https://github.com/hkust-taco/mlscript. It features global ML type inference with extensions .my prof is https://cse.hkust.edu.hk/~parreaux/author/lionel-parreaux/

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts