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

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 2023-11-14.
  • A decade of developing a programming language
    7 projects | news.ycombinator.com | 14 Nov 2023
    Might this help? I wrote it: https://azdavis.net/posts/define-pl-01/
  • Rust in 2023 - azdavis
    2 projects | /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....

  • A note from our sponsor - InfluxDB
    www.influxdata.com | 26 Apr 2024
    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. Learn more →

Stats

Basic hatsugen repo stats
3
5
2.1
12 months ago

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

The primary programming language of hatsugen is Lean.


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