Repository Index

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

• scala
• scala-compiler
• scala-programming-language
• scala-library

The repository host gives no description.

• openapi3
• json-schema
• protobuf
• typespec

CircuitPython - a Python implementation for teaching coding with microcontrollers

• circuitpython
• micropython
• python
• embedded

Implementation of Python 3.x for .NET Framework that is built on top of the Dynamic Language Runtime.

• ironpython
• dlr
• c-sharp
• python

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

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

• programming-language
• lisp
• malbolge
• esoteric

The metalua programming language

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436