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
Repository Index
76,855 visible repositories in the index
1–24 of 112 · Most stars
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
- programming-language
- carbon-lang
- compiler
- cpp
Productive, portable, and performant GPU programming in Python.
- taichi
- differentiable-programming
- gpu-programming
- sparse-computation
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
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
The Crystal Programming Language
- crystal
- hacktoberfest
- compiler
- crystal-language
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).
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
- markdown
- markup-language
- paper
- scripting-language
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
- scala
- scala-compiler
- scala-programming-language
- scala-library
A configuration as code language with rich validation and tooling.
- pkl
- java
- kotlin
- config
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
The programming language for agents
- llm
- boundaryml
- guardrails
- structured-data
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
Jsonnet - The data templating language
- jsonnet
- configuration
- config
- functional
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
Better tools for thought
Home of the Rockstar programming language
a language for fast, portable data-parallel computation
🐤 The friendly full-stack language
- programming-language
- javascript
- imba
- dom
The home of the CUE language! Validate and define text-based and dynamic configuration
- data
- validation
- configuration
- kubernetes
A statically typed lisp, without a GC, for real-time applications.
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!