An interpreted statically typed multi paradigm general purpose programming language designed for cross platform applications.
-
Updated
Dec 9, 2023 - Python
An interpreted statically typed multi paradigm general purpose programming language designed for cross platform applications.
Statically-typed Finite State Machine and Pushdown Automaton implemented with Rust procedural macro
An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
Interpreter written for Prolog course.
Interpreter of a toy, Go-like, imperative, statically typed language implemented in Haskell.
Compiler for a general purpose statically typed language - Sypher.
"Racket" to x86 compiler
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
What would Rust with the simplicity of TypeScript look like? This is my take.
Map lazy functional language constructs to LLVM IR
[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
Statically typed programming language with LLVM as backend
Type Annotation Driven Dependency injection
A Functional Programming Language inspired by Haskell and Kotlin
A static strongly typed object oriented programming language with focus on composition
tiny utility program for type-analysis of shell pipelines based on ladder-typing
A scripting language built for speed in world where JavaScript runs on web servers
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."