Solidity, the Smart Contract Programming Language
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
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
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
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)
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
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
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