HVM1 (2022): a massively parallel, optimal functional runtime in Rust
Repository Index
55,140 visible repositories in the index
1–15 of 15 · Most stars
High-level tracing language for Linux
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
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!
Zephir is a compiled high-level language aimed to ease the creation of C-extensions for PHP
- zephir
- phalcon
- php-internals
- php-extension
Program your microcontrollers in a fast and robust high-level language.
- esp32
- toit
A high-level assembly language for writing homebrew software and games on retro console platforms.
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
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
An expressive high level language for the Algorand block chain that compiles to TEAL code.
- blockchain
- algorand
- teal
- smartcontract