An audio server, programming language, and IDE for sound synthesis and algorithmic composition.
- supercollider
- sclang
- electronic-music
- scsynth
Repository Index
79,841 visible repositories in the index
25–48 of 234 · Most stars
Light LDAP implementation
- authentication
- ldap
- opaque
- rust
A statically typed lisp, without a GC, for real-time applications.
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
:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
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
LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUDA) and XR (OpenVR, LibOVR, OpenXR) applications.
- lwjgl
- kotlin
- opengl
- opencl
Native Mac APIs for Go. Previously known as MacDriver
- golang
- apple
- macos
- objective-c
The ESTree Spec
Automatically generates Rust FFI bindings to C (and some C++) libraries.
- ffi
- bindings
- codegen
Canonical actor model implementation for .NET with local + distributed actors in C# and F#.
- akka
- actor-model
- dotnet
- concurrency
A doc comment standard for TypeScript
- typescript
- documentation
- comments
- syntax
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
- erlang
- golang
- elixir
- supervisor
Borgo is a statically typed language that compiles to Go.
- compiler
- golang
- programming-language
- rust-lang
A non-blocking concurrency framework for PHP applications. 🐘
- php
- async
- coroutines
- promises
Build, bundle & ship your Rust WASM application to the web.
- rust
- wasm
- bundler
- assets
A tool (and pre-commit hook) to automatically upgrade syntax for newer versions of the language.
- python
- pre-commit
- linter
The Fast Lexical Analyzer - scanner generator for lexing in C and C++
- flex
- c
- lexer-generator
- lexer
This is Meta's fork of the CPython runtime. The name "cinder" here is historical, see https://github.com/facebookincubator/cinderx for the Python extension / JIT compiler.
- interpreter
- jit
- python
- compiler
Icarus Verilog
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.
- rust
- linux
- thread-per-core
- iouring
Dafny is a verification-aware programming language
- programming-language
- verification