MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
Repository Index
47,133 repositories indexed
1–13 of 13 · Most stars
A strongly-typed language that compiles to JavaScript
- haskell
- purescript
- javascript
- typed-language
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
Database Markup Language (DBML), designed to define and document database structures
- dbx
- database-schema
- dbml
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
- liquidsoap
- streaming
- webradio
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
- pharo
- reflective
- language
- tools
ChucK Music Programming Language
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
A best-of-breed language with a holistic approach to moving the needle
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
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