HVM1 (2022): a massively parallel, optimal functional runtime in Rust
Repository Index
57,138 visible repositories in the index
1–24 of 25 · Most stars
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
High-level tracing language for Linux
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
Better tools for thought
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
- pony-language
- pony-source
- ponyc
- programming-language
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!
QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.
A high performance scripting language hosted on the JVM.
- java
- scripting-language
- jvm-languages
- aviatorscript
A fast, powerful, safe and lightweight scripting language and engine for .NET
- templating
- templating-language
- templating-engine
- handlebars
Zephir is a compiled high-level language aimed to ease the creation of C-extensions for PHP
- zephir
- phalcon
- php-internals
- php-extension
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- language
- tlaplus
- quint
- apalache
Program your microcontrollers in a fast and robust high-level language.
- esp32
- toit
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
A high-level assembly language for writing homebrew software and games on retro console platforms.
JQuick Java: a lightweight Java-like scripting language for rule engines. Declare, parse and execute business rules at runtime via XML or inline scripts—no restart needed. Java 8+, embeddable, with LSP and IDEA plugin support.
Language for high-assurance and high-speed cryptography
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
A revolutionary new dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
Tealang - high level language for Algorand ASC1 and TEAL
Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)
- binary
- compiler
- runtime
- csharp