Empowering everyone to build reliable and efficient software.
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
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).
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game