The Kotlin Programming Language.
- kotlin
- programming-language
- compiler
- gradle-plugin
Repository Index
59,621 visible repositories in the index
1–24 of 54 · Most stars
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
- micropython
- python
- embedded
- microcontroller
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
- markdown
- markup-language
- paper
- scripting-language
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Probabilistic language based on pattern matching and constraint propagation, 153 examples
- algorithms
- csharp
- gamedev
- language
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
Haxe - The Cross-Platform Toolkit
A statically typed lisp, without a GC, for real-time applications.
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
Simple, elegant, Pythonic functional programming.
- python
- functional
- language
- functional-programming
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
- fsharp
- compiler
- visual-studio
- netcore
Write like a high-level language, run like C.
A language for constraint-guided and efficient LLM programming.
- chatgpt
- huggingface
- language-model
- programming-language
Zephir is a compiled high-level language aimed to ease the creation of C-extensions for PHP
- zephir
- phalcon
- php-internals
- php-extension
JSONata query and transformation language - http://jsonata.org
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- language
- tlaplus
- quint
- apalache
A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
- pharo
- reflective
- language
- tools
Fetish-themed programming language
- transpiler
- compiler
- language
- esoteric-language