Repository Index

A music programming language for musicians. :notes:

• music
• programming-language
• music-programming-language
• music-composition

The repository host gives no description.

• openapi3
• json-schema
• protobuf
• typespec

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.

• xamarin
• graphics
• dot-net
• ios

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

• php
• static-analysis
• phan
• analysis

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

Lightweight, modular, and extensible library for functional programming.

A better Python REPL

A utility library for JavaScript and TypeScript.

• typescript
• utility
• functional
• programming

Native Mac APIs for Go. Previously known as MacDriver

• golang
• apple
• macos
• objective-c

Run .NET and Node.js code in-process on Windows, MacOS, and Linux

Confluent's Apache Kafka Golang client

• confluent
• golang
• golang-library
• golang-bindings

Esoteric Programming Language

• livecoding
• osc
• udp
• midi

Canonical actor model implementation for .NET with local + distributed actors in C# and F#.

• akka
• actor-model
• dotnet
• concurrency

An autocompletion daemon for the Go programming language

A modern Go utility library which provides helpers (map, find, contains, filter, ...)

A minimalistic ClojureScript interface to React.js

• reagent
• clojurescript
• react
• frontend

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

Principled Functional Programming in Scala

• scalaz
• scala
• functional-programming
• scala-native

A fast single-producer, single-consumer lock-free queue for C++

A high-performance non-blocking I/O networking framework focusing on RPC scenarios.

• rpc
• golang
• network-programming
• net