A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
Repository Index
71,372 visible repositories in the index
97–120 of 778 · Most stars
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!
Declarative data automation language and Go runtime for structured extraction workflows.
- golang
- query-language
- dsl
- go
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
Compiler for the C3 language
Zero-cost asynchronous programming in Rust
- async-foundations
Super-fast alternative to Babel for when you can target modern JS runtimes
HCL is the HashiCorp configuration language.
- hcl
- configuration-language
- hashicorp
- json
Modern concurrency tools including agents, futures, promises, thread pools, supervisors, and more. Inspired by Erlang, Clojure, Scala, Go, Java, JavaScript, and classic concurrency patterns.
- concurrency
- ruby
Making it easier to work with shaders
Rhai - An embedded scripting language for Rust.
- scripting-engine
- embedded-scripting-language
- scripting-language
- no-std
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.
A library and language for building parsers, interpreters, compilers, etc.
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
- grpc
- actor-model
- actors
- cross-platform
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
A dialect of Lisp that's embedded in Python
- python
- hy
- lisps
- macros
Native Mac APIs for Go. Previously known as MacDriver
- golang
- apple
- macos
- objective-c
The Programming Language for Agents
A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
Programming Language Theory λΠ
- programming-languages
- type-theory
- functional-programming
- category-theory
Automatically generates Rust FFI bindings to C (and some C++) libraries.
- ffi
- bindings
- codegen