Rhai - An embedded scripting language for Rust.
- scripting-engine
- embedded-scripting-language
- scripting-language
- no-std
Repository Index
57,138 visible repositories in the index
97–120 of 527 · Most stars
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.
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.
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
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
Automated CI toolchain to produce precompiled opencv-python, opencv-python-headless, opencv-contrib-python and opencv-contrib-python-headless packages.
- opencv
- python
- wheel
- python-3
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
Pythonic Smart Contract Language for the EVM
Esoteric Programming Language
a multi-language bindings generator for rust
- ffi-layer
- rust-crate
A collection of small corpuses of interesting data for the creation of bots and similar stuff.
A compiler for the Mustache templating language
Reactive Extensions for the Go language.
- reactivex
- golang
- observable
- go
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
inkle's open source scripting language for writing interactive narrative.
An autocompletion daemon for the Go programming language
Next Generation Visual Programming System
- unit
- programming
- programming-language
- dataflow-programming
A minimalistic ClojureScript interface to React.js