A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
Repository Index
47,133 repositories indexed
25–48 of 401 · 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
SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
- grpc
- actor-model
- actors
- cross-platform
Native Mac APIs for Go. Previously known as MacDriver
- golang
- apple
- macos
- objective-c
Brings SQL and AI together.
- sqlflow
- sql-syntax
- ai
- transpiler
Confluent's Apache Kafka Golang client
- confluent
- golang
- golang-library
- golang-bindings
An autocompletion daemon for the Go programming language
A modern Go utility library which provides helpers (map, find, contains, filter, ...)
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
A high-performance non-blocking I/O networking framework focusing on RPC scenarios.
- rpc
- golang
- network-programming
- net
Alibaba Dragonwell8 JDK
- dragonwell8
- java
- openjdk
- jdk
A lightweight C++ base library with Go-style coroutines.
BGP implemented in the Go Programming Language
A library for calling C functions from Go without Cgo
- cgo
- go
- golang
- purego
A goroutine pool for Go
- workers
- goroutine-pool
- golang
- go
A fast script language for Go
- golang
- go
- script
- embedded-language
.NET LINQ capabilities in Go
- go
- linq
- generic-functions
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
- parser
- earley-algorithm
- earley-parser
- javascript
A toy JVM written in Go
- jvm
- golang
Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and memory ops 🦖
Playwright for Go a browser automation library to control Chromium, Firefox and WebKit with a single API.