hatsugen

A small programming language formally defined with a series of blog posts and Lean code. (by azdavis)

Hatsugen Alternatives

Similar projects and alternatives to hatsugen

  • rust

    hatsugen VS rust

    Empowering everyone to build reliable and efficient software.

  • pkg

    hatsugen VS pkg

    Package your Node.js project into an executable

  • InfluxDB

    Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  • sml-buildscripts

    Scripts to compile and run Standard ML programs defined in .mlb files.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better hatsugen alternative or higher similarity.

hatsugen reviews and mentions

Posts with mentions or reviews of hatsugen. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-12-24.
  • Rust in 2023 - azdavis
    2 projects | reddit.com/r/rust | 24 Dec 2022
    Perhaps my own series of posts? It starts here.
  • Memories: Edinburgh ML to Standard ML
    3 projects | news.ycombinator.com | 5 Oct 2022
    2. Preservation states that if you have a program that type-checks _and_ that can continue evaluating, _as_ it continues to evaluate, it _continues_ to type-check.

    Note that the conclusion of preservation 'feeds back' into progress: the program type-checks. And vice versa: progress may state as its conclusion that the program can continue evaluating, which then lets you apply preservation. This means you can keep applying the progress and preservation theorems in a 'loop' until the program is done evaluating.

    For each of the 4 posts in my series about formal semantics, I duly translated the rules presented in the blog post into Lean code, and then proved that the rules do satisfy the safety properties. For example, for the first post linked above:

    - The syntax of the language: https://github.com/azdavis/hatsugen/blob/part-01/src/syntax....

Stats

Basic hatsugen repo stats
2
3
10.0
12 months ago

azdavis/hatsugen is an open source project licensed under MIT License which is an OSI approved license.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com