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!
Repository Index
68,261 visible repositories in the index
73–96 of 579 · Most stars
A Java to iOS Objective-C translation tool and runtime.
Performance-portable, length-agnostic SIMD with runtime dispatch
- simd
- simd-instructions
- simd-programming
- intrinsics
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
Zero-cost asynchronous programming in Rust
- async-foundations
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
SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
Bash Infinity is a modern standard library / framework / boilerplate for Bash
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
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
Lightweight, modular, and extensible library for functional programming.
A utility library for JavaScript and TypeScript.
- typescript
- utility
- functional
- programming
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
A high performance scripting language hosted on the JVM.
- java
- scripting-language
- jvm-languages
- aviatorscript
💎 Amber the programming language compiled to Bash/Ksh/Zsh
Brings SQL and AI together.
- sqlflow
- sql-syntax
- ai
- transpiler
Esoteric Programming Language
A compiler for the Mustache templating language
Canonical actor model implementation for .NET with local + distributed actors in C# and F#.
- akka
- actor-model
- dotnet
- concurrency
An autocompletion daemon for the Go programming language