Empowering everyone to build reliable and efficient software.
Repository Index
77,852 visible repositories in the index
1–24 of 57 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
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
Productive, portable, and performant GPU programming in Python.
- taichi
- differentiable-programming
- gpu-programming
- sparse-computation
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
XGo is a programming language that reads like plain English. But it's also incredibly powerful — it lets you leverage assets from C/C++, Go, Python, and JavaScript/TypeScript, creating a unified software engineering ecosystem. Our vision is to enable everyone to become a builder of the world.
- data-science
- goplus
- scientific-computing
- stem-education
Probabilistic language based on pattern matching and constraint propagation, 153 examples
- algorithms
- csharp
- gamedev
- language
Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Better tools for thought
a language for fast, portable data-parallel computation
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
- pony-language
- pony-source
- ponyc
- programming-language
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.
The Programming Language for Agents
Esoteric Programming Language
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.
Gravity Programming Language
A toy programming language written in Typescript
- programming-language
- typescript
- parser
- interpreter
Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️
Database Markup Language (DBML), designed to define and document database structures
- dbx
- database-schema
- dbml