HelenaA 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.
Stars: ✭ 151 (+319.44%)
gliderGenerative music using conway's game of life
Stars: ✭ 38 (+5.56%)
crusherNo description or website provided.
Stars: ✭ 21 (-41.67%)
CrackedMac app for noise making - built w/ "I Dropped My Phone The Screen Cracked"
Stars: ✭ 98 (+172.22%)
lf synLearning-Based View Synthesis for Light Field Cameras - Pytorch
Stars: ✭ 31 (-13.89%)
Esp8266samSpeech synthesis for ESP8266 using S.A.M. port
Stars: ✭ 199 (+452.78%)
async fifoA dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog
Stars: ✭ 117 (+225%)
GranularHTML5 Granular Synthesiser
Stars: ✭ 113 (+213.89%)
RegexAn implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
Stars: ✭ 2,125 (+5802.78%)
FormaleSystemeUnterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Stars: ✭ 31 (-13.89%)
frame transpilerFrame is a markdown language for creating state machines (automata) in 8 programming languages as well as generating UML documentation.
Stars: ✭ 35 (-2.78%)
HashedExpressionType-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Stars: ✭ 40 (+11.11%)
magphaseMagPhase Vocoder: Speech analysis/synthesis system for TTS and related applications.
Stars: ✭ 76 (+111.11%)
UnimidiRealtime MIDI IO for Ruby
Stars: ✭ 229 (+536.11%)
steviaA simple (unfinished) SMT solver for QF_ABV.
Stars: ✭ 30 (-16.67%)
Akwf FreeAdventure Kid Wave Forms are a collection of sampled one cycle waveforms for use in synthesizers or similar sound generators.
Stars: ✭ 179 (+397.22%)
Tone.jsA Web Audio framework for making interactive music in the browser.
Stars: ✭ 11,352 (+31433.33%)
reefAutomatically labeling training data
Stars: ✭ 102 (+183.33%)
SoulThe SOUL programming language and API
Stars: ✭ 1,566 (+4250%)
duffPure OCaml implementation of libXdiff (Rabin's fingerprint)
Stars: ✭ 20 (-44.44%)
Rsyn XRsyn – An Extensible Physical Synthesis Framework
Stars: ✭ 76 (+111.11%)
computation-pyPython implementation for Understanding Computation book.
Stars: ✭ 22 (-38.89%)
kaliningraph🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
Stars: ✭ 62 (+72.22%)
Sonic PiCode. Music. Live.
Stars: ✭ 8,736 (+24166.67%)
lessamplerlessampler is a Singing Voice Synthesizer
Stars: ✭ 59 (+63.89%)
conwayConway's game of life
Stars: ✭ 27 (-25%)
CometWeb Synthesis on steroids
Stars: ✭ 18 (-50%)
2p-ktA Kotlin Multi-Platform ecosystem for symbolic AI
Stars: ✭ 52 (+44.44%)
xedaCross EDA Abstraction and Automation
Stars: ✭ 25 (-30.56%)
libvataVATA Tree Automata Library
Stars: ✭ 23 (-36.11%)
Gwion🎵 strongly-timed musical programming language
Stars: ✭ 235 (+552.78%)
herbieOptimize floating-point expressions for accuracy
Stars: ✭ 614 (+1605.56%)
Tts CubeEnd-2-end speech synthesis with recurrent neural networks
Stars: ✭ 213 (+491.67%)
typestate-rsProc-macro typestate DSL for Rust
Stars: ✭ 110 (+205.56%)
ScaperA library for soundscape synthesis and augmentation
Stars: ✭ 186 (+416.67%)
FScape-nextAudio rendering software, based on UGen graphs. Issue tracker: https://codeberg.org/sciss/FScape-next/issues
Stars: ✭ 13 (-63.89%)
SupriyaA Python API for SuperCollider
Stars: ✭ 167 (+363.89%)
SMCDELA symbolic model checker for Dynamic Epistemic Logic.
Stars: ✭ 31 (-13.89%)
Symbiflow Arch DefsFOSS architecture definitions of FPGA hardware useful for doing PnR device generation.
Stars: ✭ 137 (+280.56%)
symA Mathematica package for generating symbolic models from data
Stars: ✭ 46 (+27.78%)
VocA physical model of the human vocal tract using literate programming, based on Pink Trombone.
Stars: ✭ 129 (+258.33%)
synthesis🔥 Synthesis is Meteor + Polymer
Stars: ✭ 28 (-22.22%)
LivehdLive Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation
Stars: ✭ 110 (+205.56%)
datetime-periodAn implementation of the datetime period type including all their possible relations.
Stars: ✭ 68 (+88.89%)
Metatheory.jlGeneral purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Stars: ✭ 266 (+638.89%)
php aho corasickAho-Corasick string search algorithm PHP extension implementation.
Stars: ✭ 45 (+25%)
ScallinaA Coq-based synthesis of Scala programs which are correct-by-construction
Stars: ✭ 65 (+80.56%)
csound-extendedExtensions for Csound including algorithmic composition, Android app, and WebAssembly.
Stars: ✭ 38 (+5.56%)
NTUA-slp-nlp💻Speech and Natural Language Processing (SLP & NLP) Lab Assignments for ECE NTUA
Stars: ✭ 19 (-47.22%)
PySimpleAutomataAcademic Python Library to manage DFA, NFA and AFW automata.
Stars: ✭ 17 (-52.78%)
rustfstRust re-implementation of OpenFST - library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). A Python binding is also available.
Stars: ✭ 104 (+188.89%)
safe-control-gymPyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
Stars: ✭ 272 (+655.56%)
visual-automataVisual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
Stars: ✭ 55 (+52.78%)
AALpyAn Active Automata Learning Library Written in Python
Stars: ✭ 60 (+66.67%)