Empowering everyone to build reliable and efficient software.
Repository Index
47,133 repositories indexed
1–16 of 16 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
The Julia Programming Language
- julia-language
- julia
- scientific
- hpc
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
TranslatedA programming language for the ancient Chinese.
- programming-language
- classical-chinese
- esoteric-language
- wenyan-lang
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).
High-level tracing language for Linux
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
CircuitPython - a Python implementation for teaching coding with microcontrollers
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety
🦄 The Enterprise™ programming language
- enterprise
- disruptive-technology
- language
- ajax
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game