78 results for “topic:statically-typed”
⭐️ A friendly language for building type-safe, scalable systems!
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
Functional programming inspired by ML for the Erlang VM
The parallel, concurrent, and functional programming language for scalable software development
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
A statically typed functional programming language for the web.
An ML-like statically-typed Erlang
A statically-typed variant of Lox, written in TypeScript
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
🔮 The application platform for your cyberpunk desk
A programming language for people who like to know what their code is doing.
An experimental project for statically typed scripting language.
Map lazy functional language constructs to LLVM IR
Faster pathlib for Python
Statically typed, embeddable, scripting language written in Zig.
Compiler for a small Scala subset
The initial (legacy) compiler for the Gera programming language.
A static strongly typed object oriented programming language with focus on composition
🌊 A statically typed lisp-like programming language.
A simple statically-typed language written in pure Crystal.
[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
Official source of Bow
一种简单的、结构化的、面向过程的、静态类型 & 强类型的编程语言，及其编译器、汇编器与虚拟机的设计与实现
An imperative, statically-typed toy language
A scripting language built for speed in world where JavaScript runs on web servers
A statically-typed bytecode-interpreted programming language handwritten in C with zero dependencies.
A minimum viable functional programming language for the JVM
Type-safe client-server communication for C# featuring Bridge.NET and NancyFx
Interpreter written for Prolog course.