Repository Index

Moved to Codeberg

• compiler
• zig
• language

Solidity, the Smart Contract Programming Language

• cpp
• ethereum
• smartcontracts
• language

JDK main-line development https://openjdk.org/projects/jdk

• openjdk
• java
• jvm

A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

• visual
• language
• functional
• compiler

Borgo is a statically typed language that compiles to Go.

• compiler
• golang
• programming-language
• rust-lang

The P programming language.

• asynchronous
• programming-language
• systematic-testing
• event-driven

A statically typed language compatible with Python

• compiler
• programming-language
• python
• rust

JSONata query and transformation language - http://jsonata.org

A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)

• repl
• shell
• language
• murex

Byzer (former MLSQL): A low-code open-source programming language for data pipeline, analytics and AI.

• machine-learning
• mlsql
• bigdata
• sql-like-dsl

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

• functional-programming
• common-lisp
• type-safety

Emerging smart contract language for the Ethereum blockchain.

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.

• hedy
• gradual
• education
• programming

A language and an embedded JIT compiler

• haskell-application
• hobbes

Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^

• ddd
• ddd-architecture
• ddd-example
• transpiler

:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS

• programming-language
• language
• programming-paradigms
• repl

A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang

• domain-specific-language
• gamemaker-studio-2
• dynamically-typed
• compiler

query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp

• common-lisp
• domain-specific-languages
• dsl
• json

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