The Julia Programming Language
- julia-language
- julia
- scientific
- hpc
Repository Index
79,841 visible repositories in the index
1–24 of 40 · Most stars
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
TranslatedA programming language for the ancient Chinese.
- programming-language
- classical-chinese
- esoteric-language
- wenyan-lang
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
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
An audio server, programming language, and IDE for sound synthesis and algorithmic composition.
- supercollider
- sclang
- electronic-music
- scsynth
A statically typed lisp, without a GC, for real-time applications.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
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
Dafny is a verification-aware programming language
- programming-language
- verification
Open-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and backend developers can collaborate on the same visual flows.
- flow-based-programming
- visual-programming
- vscode
- visual-programming-editor
A Proof-oriented Programming Language
- programming-language
- verification
- dependent-types
- smt
High-performance runtime for data analytics applications
- stanford
- data
- analytics
- machine-learning
A statically typed language compatible with Python
- compiler
- programming-language
- python
- rust
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
Programming language for literate programming law specification
- programming-language
- legislative-texts
A small, fast, native lisp with "magical" powers
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Umka: a statically typed embeddable scripting language
- programming-language
- scripting-language
- compiler
- interpreter
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- language
- tlaplus
- quint
- apalache
A rusty dynamically typed scripting language
- dyon
- scripting-language
- dynamic
:sweat: rewrite of the CoffeeScript compiler with proper compiler design principles and a focus on robustness and extensibility