Language without loops and recursion

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

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • Onboard AI - ChatGPT with full context of any GitHub repo.
  • WorkOS - The modern API for authentication & user identity.
  • dhall-lang

    Maintainable configuration files

    https://dhall-lang.org/ ?

  • scilla

    Scilla - A Smart Contract Intermediate Level Language (by Zilliqa)

    Repo: https://github.com/Zilliqa/scilla

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

  • shardscript

    A language for cloud functions [Moved to: https://github.com/shardscript/shardscript]

    I made a language without recursion, it just has loops. It uses dependent types to calculate the cost of executing any program. It was about 3 years ago that I worked on it. It's not really open source but you can read the source code.

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