Empowering everyone to build reliable and efficient software.
Repository Index
70,234 visible repositories in the index
1–24 of 31 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
The Julia Programming Language
- julia-language
- julia
- scientific
- hpc
Productive, portable, and performant GPU programming in Python.
- taichi
- differentiable-programming
- gpu-programming
- sparse-computation
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
- markdown
- markup-language
- paper
- scripting-language
Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
A dialect of Lisp that's embedded in Python
- python
- hy
- lisps
- macros
A high performance scripting language hosted on the JVM.
- java
- scripting-language
- jvm-languages
- aviatorscript
Chisel: A Modern Hardware Design Language
- chisel
- chisel3
- scala
- firrtl
jank is the native Clojure dialect with seamless C++ interop.
a dialect of The Monkey Programming Language
Functional programming language for signal processing and sound synthesis
The compiler for Teal, a typed dialect of Lua
- teal
- lua
- compiler
- type-checking
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
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
🦄 The Enterprise™ programming language
- enterprise
- disruptive-technology
- language
- ajax
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
JQuick Java: a lightweight Java-like scripting language for rule engines. Declare, parse and execute business rules at runtime via XML or inline scripts—no restart needed. Java 8+, embeddable, with LSP and IDEA plugin support.
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.
- cql
- clinical-quality-language
- cds
- java
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation
- esolang
- esoteric-language
- serialization
- encoding