I am planning on creating a programming language for my Informatics Bachelor Thesis. What are your ideas for such a project?

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

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.com
featured
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
  • sdf

    Simple SDF mesh generation in Python

  • notes

    Notes, Questions, Ideas (by void4)

  • There are syntactic and semantic aspects. Personally, I think algebraic effect systems and capability security seem to be very worthwhile areas of research because they provide abilities and guarantees that just aren't possible with currently popular languages due to their architecture.

  • 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
  • ponyc

    Pony is an open-source, actor-model, capabilities-secure, high performance programming language

  • The first capability secure language seems to have been E which inspired a few other languages like Ponylang or Monte and interesting research.

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

  • Old Version

    1 project | /r/PHPhelp | 11 Dec 2023
  • The problem with general purpose programming languages

    1 project | news.ycombinator.com | 26 Oct 2023
  • How long until Rust becomes mandatory, and use of any other language opens the developer up to Reckless Endangerment charges

    1 project | /r/programmingcirclejerk | 20 May 2023
  • Universal parameter passing semantics

    1 project | /r/ProgrammingLanguages | 10 May 2023
  • Programming language rule

    1 project | /r/196 | 30 Mar 2023