Statically-typed Finite State Machine and Pushdown Automaton implemented with Rust procedural macro
-
Updated
Sep 2, 2021 - Rust
Statically-typed Finite State Machine and Pushdown Automaton implemented with Rust procedural macro
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
What would Rust with the simplicity of TypeScript look like? This is my take.
Statically typed programming language with LLVM as backend
A Functional Programming Language inspired by Haskell and Kotlin
tiny utility program for type-analysis of shell pipelines based on ladder-typing
Generate code for merging structs
The initial (legacy) compiler for the Gera programming language.
An experimental project for statically typed scripting language.
The parallel, concurrent, and functional programming language for scalable software development
🔮 The application platform for your cyberpunk desk
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
A statically typed programming language for scientific computations with first class support for physical dimensions and units
⭐️ A friendly language for building type-safe, scalable systems!
Add a description, image, and links to the statically-typed topic page so that developers can more easily learn about it.
To associate your repository with the statically-typed topic, visit your repo's landing page and select "manage topics."