A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.
- midi
- music-programming
- karaoke
- karaoke-player
Repository Index
80,339 visible repositories in the index
169–192 of 238 · Most stars
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Simple I/O event notification library wirtten in Golang
- epoll
- go
- networking
- event
A tool for Swift code modification intermediating between code generation and formatting.
- swift
- cli
- formatter
- code-generator
Ada bindings for the GTK+ graphical library.
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
IGraph/M is the igraph interface for Mathematica
- igraph
- mathematica
- mathematics
- network-graph
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
- uno
- uno-platform
- webassembly
- wasm
A curated list of ready-to-use (functional programming) array filters (TS / ESM / CJS)
- filter
- filtering
- filters
- fp
Parses and evaluates mathematical expressions in Elixir. Inspired by math.js
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
- elm
- json-schema
- json
- elixir
The Rockstar programming language specification
A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer
FANN (Fast Artifical Neural Network) binding in Crystal
- fann
- neural-network
- machine-learning
- crystal
Blazor.BFF.AzureAD.Template, Blazor WASM hosted in ASP.NET Core using Microsoft Entra ID BFF (server authentication)
- blazor
- aad
- azuread
- template
This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)
V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.
- v
- webview
- gtk
- webkit
Machine Learning & Data Mining with JRuby
- machine-learning
- ruby
- jruby
- weka
Elixir binding to Detergent erlang library used to call WSDL/SOAP Services