A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Repository Index
47,133 repositories indexed
73–82 of 82 · Most stars
A tutorial for cl-collider, a Common Lisp interface to the SuperCollider synthesis server.
- cl-collider
- tutorial
- supercollider
- synthesis
MicroPython library for the VoiceTX SYN6988 text to speech module
- micropython
- speech-synthesis
- tts
- syn6988
AI-Driven Full-Text Screening and Data Extraction for Systematic Reviews and Evidence Synthesis
- academic-research
- ai-assistant
- ai-tool
- data-extraction
:zap: Kickstart a Meteor - Polymer project with MWC packages. (Flow Router is used to route)
- meteor-polymer
- bower-components
- polymer
- meteor
Framer module for Web SpeechSynthesis
Sound synthesis library for Common Lisp based on CLM-5
Capacitor plugin to synthesize speech from text with full control over language, voice, pitch, rate, and volume.
:zap: kickstart a meteor polymer project using mwc projects
- meteor-polymer
- synthesis
- meteor
- polymer
A plugin to control FMP7 (Frequency Modulation Music Driver) from Neovim.