A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
Repository Index
47,133 repositories indexed
73–96 of 653 · Most stars
Modern concurrency tools including agents, futures, promises, thread pools, supervisors, and more. Inspired by Erlang, Clojure, Scala, Go, Java, JavaScript, and classic concurrency patterns.
- concurrency
- ruby
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
- grpc
- actor-model
- actors
- cross-platform
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
Native Mac APIs for Go. Previously known as MacDriver
- golang
- apple
- macos
- objective-c
Confluent's Apache Kafka Golang client
- confluent
- golang
- golang-library
- golang-bindings
Sol3 (sol2 v3.0) - a C++ <-> Lua API wrapper with advanced features and top notch performance - is here, and it's great! Documentation:
- sol
- lua
- lua-bindings
- lua-binding
Esoteric Programming Language
A compiler for the Mustache templating language
inkle's open source scripting language for writing interactive narrative.
An autocompletion daemon for the Go programming language
Safe Rust bridge for creating Erlang NIF functions
- erlang
- nif
- elixir
- ffi
👮 A PHP desktop/mobile user agent parser with support for Laravel, based on Mobiledetect
- user-agent
- mobile-detect
- robot
- browser
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby / Rust
- reverse-engineering
- protocol-analyser
- file-format
- declarative-language
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
- erlang
- golang
- elixir
- supervisor
C++ Insights - See your source code with the eyes of a compiler
- clang
- cpp
- cpp11
- cpp14
Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.
A high-performance non-blocking I/O networking framework focusing on RPC scenarios.
- rpc
- golang
- network-programming
- net
[Mirror] A linter for prose.
- linter
- prose
- writer
- advice
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