savonet/ocaml-mm
OCaml multimedia library
GitHub repository with 39 stars and 7 forks.
Language: OCaml
Topics: audio, midi, multimedia, ocaml
OCaml multimedia library
GitHub repository with 39 stars and 7 forks.
Language: OCaml
Topics: audio, midi, multimedia, ocaml
2026-06-05: 39 stars and 7 forks.
The core OCaml system: compilers, runtime system, base libraries
GitHub repository with 6,390 stars and 1,237 forks.
Trending score: 1.39; stars gained: +28; forks gained: +2.
Language: OCaml
Topics: ocaml, compiler, functional-language
OCaml - Oxidized!
GitHub repository with 760 stars and 151 forks.
Trending score: 0.81; stars gained: +3; forks gained: +2.
Language: OCaml
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.
GitHub repository with 5,471 stars and 733 forks.
Trending score: 0.60; stars gained: +3; forks gained: +1.
Language: OCaml
Topics: coq, dependent-types, proof-assistant, theorem-proving
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
GitHub repository with 378 stars and 116 forks.
Trending score: 0.44; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: consanguinity, database, family-tree, gedcom, genealogy, graph
Github test mirror of the Octez software. Please do not submit pull-requests here!
GitHub repository with 113 stars and 40 forks.
Trending score: 0.33; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: blockchain, ocaml, smart-contracts, tezos
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
GitHub repository with 1,666 stars and 155 forks.
Trending score: 0.32; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: liquidsoap, streaming, webradio
🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.
GitHub repository with 161,320 stars and 33,423 forks.
Trending score: 3.69; stars gained: +78; forks gained: +27.
Language: Python
Topics: audio, deep-learning, deepseek, gemma, glm, hacktoberfest
VoxCPM2: Tokenizer-Free TTS for Multilingual Speech Generation, Creative Voice Design, and True-to-Life Cloning
GitHub repository with 24,487 stars and 2,821 forks.
Trending score: 2.78; stars gained: +680; forks gained: +69.
Language: Python
Topics: audio, deeplearning, minicpm, python, pytorch, speech
Industrial-grade speech recognition toolkit: 170x realtime, 50+ languages, speaker diarization, emotion detection, streaming, and OpenAI-compatible API.
GitHub repository with 16,750 stars and 1,720 forks.
Trending score: 1.93; stars gained: +56; forks gained: +2.
Language: Python
Topics: pytorch, speech-recognition, paraformer, punctuation, speaker-diarization, voice-activity-detection
Full-featured audio/video downloader for Android using yt-dlp
GitHub repository with 8,772 stars and 380 forks.
Trending score: 1.44; stars gained: +17; forks gained: -2.
Language: Kotlin
Topics: android, downloader, youtube, yt-dlp, audio, video
Toontrack Superior Drummer - Complete drum production studio plugin. Comprehensive guide with setup instructions, feature highlights.
GitHub repository with 19 stars and 0 forks.
Trending score: 1.20; stars gained: +13; forks gained: +0.
Topics: audio, drum-vst, music-production, plugins, superior-drummer, toontrack
Neural Amp Modeler LV2 plugin
GitHub repository with 457 stars and 50 forks.
Trending score: 1.08; stars gained: +12; forks gained: +0.
Language: C++
Topics: amplifier, audio, guitar, machine-learning, nam