Language without loops and recursion

This page summarizes the projects mentioned and recommended in the original post on /r/ProgrammingLanguages
hardware-buttons scrape-images linkedin-bot

Nutrient - The #1 PDF SDK Library
Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.
nutrient.io
featured
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured

  1. dhall-lang

    Maintainable configuration files

    https://dhall-lang.org/ ?

  2. Nutrient

    Nutrient - The #1 PDF SDK Library. Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.

    Nutrient logo

  3. scilla

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

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

  4. shardscript

    Discontinued 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

  • The Dhall Configuration Language

    1 project | news.ycombinator.com | 7 Mar 2025

  • Open Source Tools for NFT Development on Arbitrum: Pioneering the Future of Digital Assets

    4 projects | dev.to | 5 Mar 2025

  • Vitalik Pushes for Higher L1 Gas Limits, KRNL & Sig’s Secure Cross-Chain Bridge, On-Chain Identifiers for Chain Abstraction

    2 projects | dev.to | 20 Feb 2025

  • Etherspot Brings Powerful Account Abstraction Infrastructure to Celo Developers

    1 project | dev.to | 12 Feb 2025

  • Smart Contract Audits: Ensuring Safe Blockchain Migration

    1 project | dev.to | 24 Nov 2024
Loading...