The Rubinius Language Platform
- rubinius
- programming-languages
- virtual-machine
Repository Index
68,261 visible repositories in the index
169–192 of 581 · Most stars
Vigil, the eternal morally vigilant programming language
Graph-oriented live coding language and music/audio DSP library written in Rust
- rust
- audioworklet
- audio
- web-audio
The repository host gives no description.
The Jakt Programming Language
- programming-language
- jakt
- serenityos
Intel® Implicit SPMD Program Compiler
- ispc
- programming-language
- compiler
- intel
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Beef Programming Language
- programming-language
- compiler
- ide
- beef-language
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
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
Functional extensions for C#
- csharp
- entity
- functional-programming
- maybe-monad
The Lobster Programming Language
:boom::computer::boom: A data-parallel functional programming language
Io programming language. Inspired by Self, Smalltalk and LISP.
Rust for native business logic, Flutter for flexible and beautiful GUI
Starlark in Go: the Starlark configuration language, implemented in Go
Set of preconfigured snippets for different languages.
- snippets
- friendly-snippets
- languages
- programming-languages
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
- cpp
- await
- async-await
- executor-service
The Flix Programming Language
- flix
- language
- hacktoberfest
- functional
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
- java
- intellij
- json
- template-engine
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction
- programming-model
- parallel-computing
- c-plus-plus
- abstraction