Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Repository Index
71,372 visible repositories in the index
1–24 of 38 · Most stars
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
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).
HVM1 (2022): a massively parallel, optimal functional runtime in Rust
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.
- wren
- scripting-languages
- c
- fibers
a language for fast, portable data-parallel computation
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
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!
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
Chisel: A Modern Hardware Design Language
- chisel
- chisel3
- scala
- firrtl
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Borgo is a statically typed language that compiles to Go.
- compiler
- golang
- programming-language
- rust-lang
:zap: Walt is a JavaScript-like syntax for WebAssembly text format :zap:
- compiler
- webassembly
- javascript
The Ballerina Programming Language
- programming-language
- language
- compiler
- ballerina-lang
a small scripting language for the web
- htmx
- hyperscript
- scripting-language
GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and window functions and allow customization like user-defined types and functions
Vigil, the eternal morally vigilant programming language
A statically typed language compatible with Python
- compiler
- programming-language
- python
- rust
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
:boom::computer::boom: A data-parallel functional programming language
Io programming language. Inspired by Self, Smalltalk and LISP.
Malloy is a modern open source language for describing data relationships and transformations.