Projects in Awesome Lists tagged with synthesis

https://github.com/tonejs/tone.js

A Web Audio framework for making interactive music in the browser.

javascript music samples scheduling synthesis tone web-audio

Last synced: 12 Dec 2025

https://github.com/Tonejs/Tone.js

A Web Audio framework for making interactive music in the browser.

javascript music samples scheduling synthesis tone web-audio

Last synced: 14 Mar 2025

https://github.com/sonic-pi-net/sonic-pi

Code. Music. Live.

art audio education instrument live-coding livecoding music schools synthesis synthesizer

Last synced: 12 Mar 2026

https://github.com/supercollider/supercollider

An audio server, programming language, and IDE for sound synthesis and algorithmic composition.

algorithmic-composition audio c-plus-plus computer-music electronic-music livecoding music programming-language sclang scsynth sonification sound supercollider synthesis

Last synced: 12 May 2025

https://github.com/soul-lang/soul

The SOUL programming language and API

audio dsp soul soul-programming-language synthesis

Last synced: 16 May 2025

https://github.com/soul-lang/SOUL

The SOUL programming language and API

audio dsp soul soul-programming-language synthesis

Last synced: 16 Mar 2025

https://github.com/belangeo/pyo

Python DSP module

audio c dsp music pyo python radio-pyo signal-processing sound synthesis

Last synced: 13 May 2025

https://github.com/siliconcompiler/siliconcompiler

Modular hardware build system

asic cmos eda fpga hls make rtl synthesis verilog vhdl

Last synced: 11 May 2026

https://github.com/verilog-to-routing/vtr-verilog-to-routing

Verilog to Routing -- Open Source CAD Flow for FPGA Research

cad eda fpga placement routing synthesis verilog vpr vtr

Last synced: 14 Mar 2025

https://github.com/herbie-fp/herbie

Optimize floating-point expressions for accuracy

developer-tools floating-point herbie numerical-methods racket synthesis

Last synced: 18 Feb 2026

https://github.com/stargatedaw/stargate

Innovation-first digital audio workstation (DAW), instrument and effect plugins, wave editor

audio-dsp audio-effect audio-plugin c17 computer-music daw digital-audio-workstation drum-machine drums edm electronic-music music-creation pyqt pyqt6 sampler sequencer songs synth synthesis synthesizer

Last synced: 03 Apr 2025

https://github.com/olofk/edalize

An abstraction library for interfacing EDA tools

altera eda fossi fpga ghdl icarus-verilog icestorm lattice modelsim riviera-pro simulation spyglass synthesis systemverilog verilator verilog vhdl vivado xilinx yosys

Last synced: 14 May 2025

https://github.com/microsoft/prose

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.

csharp data-transformation data-wrangling dotnet examples microsoft program-synthesis prose sdk synthesis

Last synced: 13 May 2025

https://github.com/VLSI-EDA/PoC

IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany

altera asic fpga hardware-designs hardware-libraries hardware-modules lattice osvvm poc-library python regression-testing simulation synthesis testbenches uvvm verification vhdl vlsi vunit xilinx

Last synced: 22 Apr 2025

https://github.com/Gwion/Gwion

:musical_note: strongly-timed musical programming language

audio chuck compiler composition hacktoberfest interpreter lang language music programming-language real-time realtime-audio sound synth synthesis

Last synced: 12 Apr 2025

https://github.com/LSXPrime/SoundFlow

A high-performance, modular audio & MIDI engine for .NET 8+. A complete toolkit for the entire audio lifecycle: Playback, Recording, Multi-track Editing, Pro Synthesis (MPE/SF2), Real-time DSP, and Visualization. Includes a unique security suite for AES-256 encryption, acoustic fingerprinting, and watermarking. Featuring SIMD and NativeAOT support.

acoustics audio audio-editing audio-processing csharp daw digital-signal-processing dotnet echo-cancellation encryption midi midi-player nativeaot noise-suppression playback simd soundfont synthesis synthesizer watermark

Last synced: 14 Jul 2026

https://github.com/everythingwillbetakenaway/DX7-Supercollider

My accurate Yamaha DX-7 clone. Programmed in Supercollider.

audio audio-engine dsp instrument music sound sound-synthesis-processes supercollider synth synthesis synthesizer

Last synced: 15 Mar 2025

https://github.com/amsynth/amsynth

Simple software synthesizer for Linux

c-plus-plus dsp gtk linux lv2 synthesis synthesizer vst

Last synced: 15 May 2025

https://github.com/justinsalamon/scaper

A library for soundscape synthesis and augmentation

audio audio-processing data-augmentation machine-learning machine-listening soundscape soundscape-synthesis sox synthesis

Last synced: 04 Apr 2025

https://github.com/johnyf/tool_lists

Links to tools by subject

binary-decision-diagrams formal-methods model-checking proof-assistant satisfiability-modulo-theories satisfiability-solver smtlib static-analysis synthesis theorem-prover theorem-proving tools verification

Last synced: 31 Jan 2026

https://github.com/supriya-project/supriya

A Python API for SuperCollider

audio composition dsp music python sc supercollider synthesis synthesizer

Last synced: 14 Jan 2026

https://github.com/earlephilhower/esp8266sam

Speech synthesis for ESP8266 using S.A.M. port

esp8266 sam speak speech synthesis

Last synced: 09 Apr 2025

https://github.com/f4pga/f4pga-arch-defs

FOSS architecture definitions of FPGA hardware useful for doing PnR device generation.

architecture-definitions artix artix7 documentation fpga hdl ice40 kintex7 lattice primitives python sphinx symbiflow synthesis toolchain verilog verilog-simulations verilog-simulator vpr xilinx-fpga

Last synced: 22 Apr 2025

https://github.com/namin/llm-verified-with-monte-carlo-tree-search

LLM verified with Monte Carlo Tree Search

ai coq dafny lean llm monte-carlo-tree-search synthesis verification

Last synced: 16 May 2025

https://github.com/dpretet/async_fifo

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

asic asic-design async cdc cross-clock-domain fifo fifo-cache fifo-queue fpga hdl icarus-verilog synthesis verification verilator verilog verilog-hdl

Last synced: 12 Jan 2026

https://github.com/arirusso/unimidi

Realtime MIDI IO for Ruby

alsa alsa-rawmidi gem hardware jruby linux midi midi-controller midi-device midi-messages music osx ruby ruby-gem synthesis synthesizer

Last synced: 12 Apr 2025

https://github.com/schasins/helena

A Chrome extension for writing custom web scraping programs and web automation programs. Just demonstrate how to collect the first row of data, then let the extension write the program for collecting all rows.

chrome-extension javascript programming-by-example synthesis web-scraping

Last synced: 21 Jan 2026

https://github.com/ideoforms/signalflow

A sound synthesis framework for Python, designed for clear and concise expression of musical ideas

audio composition cpp dsp music python sound sound-synthesis synthesis

Last synced: 29 Jun 2025

https://github.com/bubobubobubobubo/sardine

Python's missing "algorave" module. Live code music with Python using MIDI, OSC and/or SuperCollider.

algorave algorithmic-music audio improvisation live-coding midi music musicology open-source osc patterns python sequencer synthesis toplap

Last synced: 16 May 2025

https://github.com/Bubobubobubobubo/sardine

Python's missing "algorave" module. Live code music with Python using MIDI, OSC and/or SuperCollider.

algorave algorithmic-music audio improvisation live-coding midi music musicology open-source osc patterns python sequencer synthesis toplap

Last synced: 14 Jul 2025

https://github.com/masc-ucsc/livehd

Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation

asic fpga hdl lgraph live simulation synthesis

Last synced: 14 Mar 2025

https://github.com/zya/granular

HTML5 Granular Synthesiser

granular javascript music synthesis synthesizer webaudio webaudio-api

Last synced: 01 Mar 2026

https://github.com/roatienza/efficientspeech

PyTorch code implementation of EfficientSpeech - to be presented at ICASSP2023.

neural speech synthesis tts

Last synced: 20 Aug 2025

https://github.com/erl-j/neural-instrument-cloning

In this project we combine techniques from neural voice cloning and musical instrument synthesis to achieve good results from as little as 16 seconds of target data.

ddsp flute instrument music saxophone synthesis

Last synced: 17 Mar 2025

https://github.com/kayrockscreenprinting/ultramaster_kr106

Linux, Osx & Windows JUCE port of Ultramaster Group's classic 2001 software synth

au la synthesis synthesizer vst

Last synced: 19 Apr 2026

https://github.com/akunull/piloslib

Multi-platform open-source set of audio and modulation tools that focus on synthesis, live electronic music, interconnection, probability, unique sounds, and intuitive interfacing built by Akunull in Pure Data starting in 2014

audio dsp music synth synthesis synthesis-library synthesizer

Last synced: 15 Mar 2025

https://github.com/attilammagyar/js80p

A MIDI driven, performance oriented, versatile synthesizer.

audio gpl gplv3 midi music sound synth synthesis synthesizer vst vst3 vst3-plugin

Last synced: 05 Jul 2026

https://github.com/juniorxsound/awesome-computer-music

🎹 A repository for inspirations, libraries and references about interactive music, synthesis and composition

composition csound interactive music sound supercollider synthesis webaudio

Last synced: 25 Jan 2026

https://github.com/RsynTeam/rsyn-x

Rsyn – An Extensible Physical Synthesis Framework

eda microelectronics synthesis

Last synced: 14 Mar 2025

https://github.com/tulip-control/tulip-control

Temporal Logic Planning toolbox

abstraction automata control-systems feedback-systems hybrid-systems python specification state-machine synthesis temporal-logic verification

Last synced: 12 Apr 2025

https://github.com/nnirror/facet

Live coding and synthesis with NodeJS and a browser

algorithmic-art audio audio-processing dsp foss generative-art image-generation livecoding midi music music-generation nodejs npm open-source osc synthesis synthesizer synthesizer-library webaudio-api

Last synced: 10 Mar 2026

https://github.com/ardura/Actuate

Synthesizer, Sampler, Granulizer written in Rust with Nih-Plug and egui

granular-synthesis rust sampler synthesis synthesizer

Last synced: 06 Apr 2025

https://github.com/hazyresearch/reef

Automatically labeling training data

machine-learning stanford synthesis weakly-supervised-learning

Last synced: 21 Jul 2025

https://github.com/boschmitt/tweedledum

C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits

optimization quantum quantum-circuit quantum-compiler quantum-computing synthesis

Last synced: 06 Apr 2025

https://github.com/superzazu/denver.lua

a simple library to help you play custom waveforms with LÖVE

audio generation library love2d sound synthesis waveform

Last synced: 02 Jul 2025

https://github.com/jbakouny/scallina

A Coq-based synthesis of Scala programs which are correct-by-construction

coq formal-methods functional-programming scala synthesis

Last synced: 25 Oct 2025

https://github.com/clovaai/embedding-expansion

Official MXNet implementation of "Embedding Expansion: Augmentation in Embedding Space for Deep Metric Learning" (CVPR 2020)

cars196 cub200-2011 cvpr2020 deep-learning image-clustering image-retrieval metric-learning mxnet stanford-online-products synthesis

Last synced: 24 Feb 2026

https://github.com/paebbels/json-for-vhdl

A JSON library implemented in VHDL.

fileformat fpga ghdl json lattice modelsim parser questasim simulation synthesis vhdl xilinx

Last synced: 29 Jul 2025

https://github.com/sdangelo/brickworks

Brickworks

algorithm android audio audio-processing daisy-seed dsp effect fx ios library music plugin plugins synth synthesis synthesizer toolkit vst vst3 webaudio

Last synced: 01 Apr 2025

https://github.com/yuzukitsuru/lessampler

lessampler is a Singing Voice Synthesizer

dsp openutau singing-synthesis singing-voice svs synthesis synthesizer utau voice voice-synthesis

Last synced: 25 Jul 2025

https://github.com/clovaai/symmetrical-synthesis

Official Tensorflow implementation of "Symmetrical Synthesis for Deep Metric Learning" (AAAI 2020)

aaai2020 cars196 cub200-2011 deep-learning image-clustering image-retrieval metric-learning stanford-online-products synthesis tensorflow

Last synced: 06 Oct 2025

https://github.com/mdoege/PySynth

Python 2/3 music synthesizer scripts (old but still functional project)

additive-synthesis fm-synthesis midi music python subtractive-synthesis synthesis

Last synced: 18 Nov 2025

https://github.com/austintheriot/resonix

Realtime, cross-platform audio processing & synthesis.

dsp granular-synthesis rust synthesis wasm

Last synced: 09 Mar 2026

https://github.com/notthetup/birds

Bird Sound Synthesis based on AM+FM

am-fm amplitude-modulation bird birdcall-synthesis fm frequency-modulation javascript sound synthesis webaudio

Last synced: 30 Apr 2025

https://github.com/saswatpadhi/loopinvgen

Generates loop invariants for program verification

cegis invariant-generation invariants loop-invariants program-verification sygus sygus-solver syntax-guided-synthesis synthesis

Last synced: 19 Aug 2025

https://github.com/uwplse/casper

A compiler for automatically re-targeting sequential Java code to Apache Spark.

compiler dafny java spark synthesis z3

Last synced: 12 Apr 2025

https://github.com/dskinner/snd

Package snd provides methods and types for sound processing and synthesis.

sound-processing synthesis

Last synced: 17 Mar 2025

https://github.com/uwplse/szalinski

Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

3d-printing cad compiler-optimization synthesis

Last synced: 20 Mar 2025

https://github.com/tulip-control/omega

Specify and synthesize systems using symbolic algorithms

automata bitvector logic-minimization python rabin streett symbolic synthesis temporal-logic

Last synced: 15 Apr 2025

https://github.com/benhackbarth/audioguide

AudioGuide is an OSX standalone program for concatenative sound synthesis written in python. Interacting with the program is done via textfiles written in a simple syntax. AudioGuide renders concatenations automatically using csound, but also includes support for Max, Logic, Reaper, Pro Tools, music notation via bach, and json files.

concatenative mir sound synthesis

Last synced: 18 Nov 2025

https://github.com/lsrcz/grisette

A monadic library for symbolic evaluation

haskell smt symbolic-evaluation symbolic-execution synthesis verification

Last synced: 17 Mar 2025

https://github.com/jeffdecola/my-verilog-examples

A place to keep my synthesizable verilog examples.

asic asic-design fpga gtkwave hardware hardware-architecture hardware-description-language hdl iverilog simulator synthesis synthesize systemverilog verilog verilog-simulator vivado waveform xilinx

Last synced: 17 Feb 2026

https://github.com/sgherbst/svreal

Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats

fixed-point floating-point icarus icarus-verilog irun iverilog ncsim simulation synthesis synthesizable systemverilog vcs verilator verilog vivado xcelium xrun

Last synced: 18 Jan 2026

https://github.com/marcelwa/cegis

Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research

satisfiability-solver smt-solver synthesis z3

Last synced: 13 Sep 2025

https://github.com/kregmi/cross-view-image-matching

[ICCV 2019] Bridging the Domain Gap for Ground-to-Aerial Image Matching

aerial cross-view geolocalization ground image-matching lua panorama synthesis tensorflow

Last synced: 19 Nov 2025

https://github.com/ghdl/docker

Scripts to build and use docker images including GHDL

actions ci dockerfiles ghdl gtkwave hardware icestorm nextpnr openocd pnr prjtrellis simulation synthesis testbench verilog vhdl vunit yosys

Last synced: 27 Jul 2025

https://github.com/abdelazeem201/design-and-asic-implementation-of-32-point-fft-processor

I present a novel pipelined fast Fourier transform (FFT) architecture which is capable of producing the output sequence in normal order. A single-path delay commutator processing element (SDC PE) has been proposed for the first time. It saves a complex adder compared with the typical radix-2 butterfly unit. The new pipelined architecture can be built using the proposed processing element. The proposed architecture can lead to 100% hardware utilization and 50% reduction in the overall number of adders required in the conventional pipelined FFT designs. In order to produce the output sequence in normal order, we also present a bit reverser, which can achieve a 50% reduction in memory usage.

asic asic-design asic-verification fft fpga rtl soc synthesis verilog vhdl

Last synced: 21 Jan 2026

https://github.com/sgherbst/msdsl

Automatic generation of real number models from analog circuits

ams analog analog-circuits generator mixed-signal model python real-number-modeling rnm simulation synthesis synthesizable

Last synced: 18 Jan 2026

https://github.com/gogins/csound-extended

Extensions for Csound including algorithmic composition, Android app, and WebAssembly.

algorithmic-composition algorithmic-composition-library c-plus-plus csound linux music-composition music-synthesis python synthesis

Last synced: 06 Feb 2026

https://github.com/vlazzarini/musicv

Music V sources and documents

audio computer-music music synthesis

Last synced: 06 Jan 2026

https://github.com/paebbels/picoblaze-library

The PicoBlaze-Library offers several PicoBlaze devices and code routines to extend a common PicoBlaze environment to a little System on a Chip (SoC or SoFPGA).

assembler fpga hardware hardware-architectures hardware-designs hardware-libraries hdl picoblaze-devices picoblaze-library poc-library simulation soc synthesis verilog vhdl

Last synced: 15 Apr 2025

https://github.com/syngenta/linchemin

Linked Chemical Information. LinChemIn is a Python toolkit that leverages the native connectivity of Chemical Reaction Data and provides actionable insights. The toolkit provides a program interface to several Computer-Aided Synthesis Prediction tools, allowing users to devise and calculate metrics on predicted Chemical Synthetic Routes.

casp chemoinformatics python synthesis

Last synced: 14 Apr 2025

https://github.com/cornell-zhang/eqmap

Using e-graphs for logic synthesis (ICCAD'25)

compiler egg fpga rtl rust synthesis verilog yosys

Last synced: 22 Apr 2026

https://github.com/madskjeldgaard/guttersynth-sc

Chaotic physical modelling in SuperCollider

chaos physicalmodelling supercollider synthesis ugens

Last synced: 25 Feb 2026

https://github.com/nnirror/wax

Web-based audio patching environment

algorithmic-art audio creative-coding generative-art modularsynth patcher sound-synthesis synthesis synthesizer wasm webassembly webaudio

Last synced: 10 Mar 2026

https://github.com/bubobubobubobubo/topos

Web Based Live Coding Environment. Inspired by the Monome Teletype.

algorithmic-composition computer controller livecoding midi monome music sequencer synthesis teletype toplap webaudio

Last synced: 12 Jul 2025

https://github.com/alirezakay/regextodfa

converting regex (regular expression) to DFA directly by creating syntax tree in java

automata compiler compilers deterministic dfa directly finite-state-machine in-java java lexical-analysis netbeans regex regex-to-dfa regex-to-dfa-java regular-expression regular-expressions straightly syntax-analysis syntax-tree synthesis

Last synced: 11 Jul 2025

https://github.com/cawfree/react-native-pure-data

🔈 ⚡ Synthesize algorithmic sound at runtime in React Native.

generator pure-data react-native sound synthesis synthesizer

Last synced: 06 Apr 2025

https://github.com/Spooky-Manufacturing/QEDA

Quantum Electronics Design Automation - The RTL of Quantum Computing

circuit compiler compilers eda electronics high-tech klm novel open-hardware open-quantum-systems open-source quantum quantum-computing quantum-hacking quantum-hardware rtl synthesis synthesizer

Last synced: 20 Nov 2025

https://github.com/munich-quantum-toolkit/syrec

SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits

cpp17 python quantum-computing reversible-computation synthesis

Last synced: 16 May 2025

https://github.com/lolleko/mesh-data-synthesizer

Uses Unreal Engine & Cesium to generate large synthetic dataset from 3D meshes. Enables machine learning tasks like Visual Place Recognition read more in our paper on this: https://meshvpr.github.io

cesium data geospatial machine-learning mesh place-recognition synthesis synthesizer ue5 unreal-engine

Last synced: 28 Apr 2025

https://github.com/cda-tum/mqt-syrec

SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits

cpp17 python quantum-computing reversible-computation synthesis

Last synced: 09 Apr 2025

https://github.com/meteorwebcomponents/synthesis

:fire: Synthesis is Meteor + Polymer

meteor meteor-polymer mwc polymer polymer-settings synthesis

Last synced: 06 Oct 2025

https://github.com/yuzukitsuru/world.js

World.JS is a JavaScript Wrapper for World Vocoder Powered by Emscripten

audio-processing d4c dsp emscripten f0-estimation javascript javascript-library morise speech synthesis vocoder world wrapper

Last synced: 15 Jul 2025

https://github.com/vmagnin/forsynth

A Fortran synthesizer library to explore sound synthesis, sound effects, acoustics, electronic music, algorithmic music, etc. Humbly follow the steps of Stockhausen, Kraftwerk and the Daft Punk!

fortran fortran-package-manager music sound synthesis synthesizer