Adds static typing to JavaScript to improve developer productivity and code quality.
Repository Index
57,138 visible repositories in the index
49–72 of 2,546 · Most stars
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
- micropython
- python
- embedded
- microcontroller
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
- java
- aot
- compiler
- graalvm
💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)
- lodash
- golang
- go
- generics
🚀 Fast and lightweight sandboxes for your apps and AI agents
- webassembly
- wasm
- wasi
- emscripten
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
- roslyn
- visual-basic
- visual-studio
- csharp
Optional static typing for Python
- python
- types
- typing
- typechecker
Development repository for the Triton language and compiler
The Crystal Programming Language
- crystal
- hacktoberfest
- compiler
- crystal-language
:bird: :zap: Bluebird is a full featured promise library with unmatched performance.
TranslatedA programming language for the ancient Chinese.
- programming-language
- classical-chinese
- esoteric-language
- wenyan-lang
An extremely fast Python type checker and language server, written in Rust.
Markdown for the component era
Tracking ECMAScript Proposals
- proposal
- ecmascript
- javascript
- spec
Run compilers interactively from your web browser and interact with the assembly
- rust
- c-plus-plus
- go
- dlang
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
- parsing
- parser-generator
- antlr
- antlr4
🚀 Coroutine-based concurrency library for PHP
- swoole
- coroutines
- php
- websocket
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
A virtual machine for executing programs written in Hack.
- hhvm
- php
- hack
- hacklang
An open source platform for Python in the browser. https://pyscript.net Docs: https://docs.pyscript.net/ Try it: https://pyscript.com/ Community: https://discord.gg/HxvBtukrg2
High Performance Inter-Thread Messaging Library
- disruptor
- java
- concurrency
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
- dotnet
- hacktoberfest
- help-wanted
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).