Repository Index

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

• micropython
• python
• embedded
• microcontroller

Embedded Scripting Language Designed for C++

• c-plus-plus
• embedded-scripting-language
• cpp
• language

A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages

• programming-language
• compiler
• virtual-machine
• ring

[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.

• java
• jit-compiler
• openjdk
• jvm

Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.

• gno
• gnoland
• gnolang
• bft

An OpenJDK release maintained and supported by SAP

• openjdk
• java
• open-source
• jdk

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.

Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.

• cql
• clinical-quality-language
• cds
• java

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

Railo is an Open Source CFML Server

A TLA+ interpreter and model checker in TypeScript

• formal-verification
• tlaplus
• typescript