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 →
Hatsugen Alternatives
Similar projects and alternatives to hatsugen
-
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.
-
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
-
pattern-matching-in-rust
Pattern matching and exhaustiveness checking algorithms implemented in Rust
-
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.
-
fyg-lang
Fyg is a simple high-level, functional-imperative with runtime type safety for the aspiring grug
hatsugen reviews and mentions
-
A decade of developing a programming language
Might this help? I wrote it: https://azdavis.net/posts/define-pl-01/
-
Rust in 2023 - azdavis
Perhaps my own series of posts? It starts here.
-
Memories: Edinburgh ML to Standard ML
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
Stats
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.
Popular Comparisons
Sponsored