Topic: "statically-typed"
gleam-lang/gleam
โญ๏ธ A friendly language for building type-safe, scalable systems!
Language: Rust - Size: 19.3 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 19,168 - Forks: 812
edubart/nelua-lang
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
Language: Lua - Size: 4.52 MB - Last synced at: 15 days ago - Pushed at: 4 months ago - Stars: 2,193 - Forks: 72
sharkdp/numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Language: Rust - Size: 12.2 MB - Last synced at: 15 days ago - Pushed at: 19 days ago - Stars: 1,794 - Forks: 65
alpaca-lang/alpaca
Functional programming inspired by ML for the Erlang VM
Language: Erlang - Size: 1.81 MB - Last synced at: 18 days ago - Pushed at: almost 5 years ago - Stars: 1,443 - Forks: 48
pen-lang/pen
The parallel, concurrent, and functional programming language for scalable software development
Language: Rust - Size: 22.9 MB - Last synced at: 13 days ago - Pushed at: 19 days ago - Stars: 456 - Forks: 6
yeslogic/fathom
๐ง (Alpha stage software) A declarative data definition language for formally specifying binary data formats. ๐ง
Language: Rust - Size: 5.51 MB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 257 - Forks: 14
fika-lang/fika
A statically typed functional programming language for the web.
Language: Elixir - Size: 252 KB - Last synced at: 9 months ago - Pushed at: almost 4 years ago - Stars: 228 - Forks: 13
gfngfn/Sesterl
An ML-like statically-typed Erlang
Language: OCaml - Size: 1.19 MB - Last synced at: 25 days ago - Pushed at: over 1 year ago - Stars: 152 - Forks: 5
DavidTimms/loxdown
A statically-typed variant of Lox, written in TypeScript
Language: TypeScript - Size: 1.07 MB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 124 - Forks: 5
isc30/linq-collections
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
Language: TypeScript - Size: 542 KB - Last synced at: 9 days ago - Pushed at: about 3 years ago - Stars: 119 - Forks: 11
Hihaheho/Desk ๐ฆ
๐ฎ The application platform for your cyberpunk desk
Language: Rust - Size: 1.7 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 111 - Forks: 10
White-Green/kirl-lang
An experimental project for statically typed scripting language.
Language: Rust - Size: 331 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 55 - Forks: 1
juancarlospaco/thatlib
Faster pathlib for Python
Language: Python - Size: 710 KB - Last synced at: 17 days ago - Pushed at: about 1 month ago - Stars: 53 - Forks: 4
jfaure/lfvm-stg
Map lazy functional language constructs to LLVM IR
Language: Haskell - Size: 59.6 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 50 - Forks: 0
Luukdegram/luf
Statically typed, embeddable, scripting language written in Zig.
Language: Zig - Size: 953 KB - Last synced at: 14 days ago - Pushed at: almost 4 years ago - Stars: 41 - Forks: 4
mykolav/coollang-2020-fs
Compiler for a small Scala subset
Language: F# - Size: 8.8 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 38 - Forks: 2
sunverwerth/strela
A static strongly typed object oriented programming language with focus on composition
Language: C++ - Size: 377 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 23 - Forks: 2
geralang/geralc
The initial (legacy) compiler for the Gera programming language.
Language: Rust - Size: 957 KB - Last synced at: 4 months ago - Pushed at: 12 months ago - Stars: 20 - Forks: 1
axolotl-lang/axolotl
๐ A statically typed lisp-like (currently) programming language.
Language: Haskell - Size: 187 KB - Last synced at: 7 days ago - Pushed at: almost 3 years ago - Stars: 18 - Forks: 1
cosmo-lang/cosmo ๐ฆ
A simple statically-typed language written in pure Crystal.
Language: Crystal - Size: 7.53 MB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 16 - Forks: 3
felko/snowflake
An imperative, statically-typed toy language
Language: Haskell - Size: 61.5 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 12 - Forks: 1
AloneCafe/FROG
ไธ็ง็ฎๅ็ใ็ปๆๅ็ใ้ขๅ่ฟ็จ็ใ้ๆ็ฑปๅ & ๅผบ็ฑปๅ็็ผ็จ่ฏญ่จ๏ผๅๅ ถ็ผ่ฏๅจใๆฑ็ผๅจไธ่ๆๆบ็่ฎพ่ฎกไธๅฎ็ฐ
Language: C++ - Size: 439 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 1
indianakernick/STELA
A scripting language built for speed in world where JavaScript runs on web servers
Language: C++ - Size: 1.28 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 11 - Forks: 0
BowLang/Bow
Official source of Bow
Language: C# - Size: 145 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 0
JakubGrobelny/aurox-lang
Interpreter written for Prolog course.
Language: Prolog - Size: 1.71 MB - Last synced at: 19 days ago - Pushed at: about 5 years ago - Stars: 10 - Forks: 1
Zaid-Ajaj/Cable ๐ฆ
Type-safe client-server communication for C# featuring Bridge.NET and NancyFx
Language: C# - Size: 16.7 MB - Last synced at: 5 days ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 1
mbdevpl/static-typing
Add static type information into Python abstract syntax trees.
Language: Python - Size: 153 KB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 8 - Forks: 2
chc4/solar
pure, statically typed language compiling to llvm in lua
Language: Lua - Size: 102 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 8 - Forks: 1
XrXr/alang
A toy compiler for a statically typed language
Language: Go - Size: 345 KB - Last synced at: 25 days ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 0
DavidGregory084/mina
A minimum viable functional programming language for the JVM
Language: Java - Size: 3.15 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 7 - Forks: 1
Retamogordo/fi-night
Statically-typed Finite State Machine and Pushdown Automaton implemented with Rust procedural macro
Language: Rust - Size: 38.1 KB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0
JackMilner1/Fizz
My own statically typed programming language with support of pointers, a custom compiler (Lexer, Parser , Abstract syntax tree) written in C++ and uses LLVM
Language: C++ - Size: 57.6 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 6 - Forks: 0
chrisnevers/racket-compiler
"Racket" to x86 compiler
Language: OCaml - Size: 430 KB - Last synced at: 12 months ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 0
Aermoss/RSX-R
A compiled statically typed multi paradigm general purpose programming language designed for cross platform applications.
Language: Python - Size: 1.85 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 4 - Forks: 1
sajibsrs/corx-lang
A statically typed, general-purpose programming language, crafted for simplicity and performance.
Language: C - Size: 1.03 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0
eQosys/QINP
QINP Is Not Python
Language: C++ - Size: 1.02 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 3
neolang/neo
Simple, secure, fast and compiled language for developing maintainable, scalable, reliable, and efficient software. Compiles itself with zero library dependencies and transpiled to C.
Language: Roff - Size: 40 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 4 - Forks: 1
Aermoss/RSX
An interpreted statically typed multi paradigm general purpose programming language designed for cross platform applications.
Language: Python - Size: 3.22 MB - Last synced at: 12 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
cj-praveen/My-Language
a scripting language (WIP)
Language: C - Size: 13.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 1
fuyulang/fuyu
The Fuyu programming language
Language: Rust - Size: 78.1 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 3 - Forks: 0
ericnantel/mrald
The Mrald Programming Language
Size: 105 KB - Last synced at: 17 days ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0
Nukesor/struct-merge ๐ฆ
Generate code for merging structs
Language: Rust - Size: 69.3 KB - Last synced at: 29 days ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
ryanmorr/typed
Statically typed properties for object literals
Language: JavaScript - Size: 62.5 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
icxd/real
A Functional Programming Language inspired by Haskell and Kotlin
Language: Rust - Size: 101 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
VimHax/Ares
What would Rust with the simplicity of TypeScript look like? This is my take.
Language: Rust - Size: 74.2 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
michaelsippel/lib-laddertypes
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
Language: Rust - Size: 109 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
rzetelskik/holang-interpreter
Interpreter of a toy, Go-like, imperative, statically typed language implemented in Haskell.
Language: Haskell - Size: 61.5 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
Roldak/AdaCompute
An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
Language: Ada - Size: 50.8 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
Krobix/Ametscript
A statically typed programming language written in Python
Language: Python - Size: 121 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1
edlund/taddi
Type Annotation Driven Dependency injection
Language: Python - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
Yoh0xFF/senbonzakura-rs
Learning Compiler Theory, trying some random ideas...
Language: Rust - Size: 171 KB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0
BoonLang/boon
Programming language for writing apps
Language: Rust - Size: 374 KB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0
Amaryosf/Aurox
A simple yet powerful Discord music bot using the Lavalink client (Shoukaku & Kazagumo) and Discord.js v14.
Language: JavaScript - Size: 46.9 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0
Yoh0xFF/senbonzakura-ts
Learning Compiler Theory, trying some random ideas...
Language: TypeScript - Size: 43.9 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
antonsynd/mamba
C++20 transpilation target for a statically-typed Pythonic language
Language: C++ - Size: 41.5 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
antonsynd/sidewinder
A statically-typed Pythonic language that transpiles to C++20
Language: Python - Size: 109 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
Ruturajn/Sypherc
Compiler for a general purpose statically typed language - Sypher.
Language: C - Size: 429 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
soniachrn/lala
Lala programming language
Language: C - Size: 454 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
cs-joy/kotlinFv1.6.20
study:: https://kotlinlang.org/docs/home.html
Language: Kotlin - Size: 18.6 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
0918nobita/sorbet ๐ฆ
Sorbet examples
Language: Ruby - Size: 57.6 KB - Last synced at: 12 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
krmbzds/learning-typescript
My TypeScript playground!
Language: TypeScript - Size: 1000 Bytes - Last synced at: over 1 year ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0
R6/nelua-lang
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
Language: Lua - Size: 5.16 MB - Last synced at: 10 months ago - Stars: 0 - Forks: 0
