70,234 visible repositories in the index
1–21 of 21 · Most stars
XGo is a programming language that reads like plain English. But it's also incredibly powerful — it lets you leverage assets from C/C++, Go, Python, and JavaScript/TypeScript, creating a unified software engineering ecosystem. Our vision is to enable everyone to become a builder of the world.
a language for fast, portable data-parallel computation
Declarative data automation language and Go runtime for structured extraction workflows.
Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️
The P programming language.
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.
Functional programming language for signal processing and sound synthesis
A Proof-oriented Programming Language
Graph-oriented live coding language and music/audio DSP library written in Rust
LiveScript is a language which compiles to JavaScript. It has a straightforward mapping to JavaScript and allows you to write expressive code devoid of repetitive boilerplate. While LiveScript adds many features to assist in functional style programming, it also has many improvements for object oriented and imperative programming.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
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.
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
TypeQL: Built for systems, not records
CloudSlang Language, CLI and Builder
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
Parses and evaluates mathematical expressions in Elixir. Inspired by math.js
query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
A Latin-themed esoteric programming language where source code reads as prayer