Sam Kouteili's repositories
Crossroad2Effects
A genetic algorithm infrastructure for filter exploration (filter finder).
FaustVision
Malleable computer vision tool allowing users to specify synths ascribed to different colors
Language:Coq000
CrossroadsEffects
At the crossroads of programming your own audio effects, and letting your audio effects be programmed for you.
Language:PythonLGPL-3.0000
faust-ondemand-exploration
Answering some questions about Faust's new ondemand primitive.
Language:Makefile000
faust-ondemand-spec
Specification of ondemand computation in Faust
Language:Makefile000
kiter
Kiter is an iterative algorithm based on K-periodic scheduling to compute the throughput of a CSDFG.
Language:C++000
List-Exploration-wCoq
we make lists in coq - they are nice
Pictionary-Sabotage
Android Multiplayer Pictionary Game (with a twist)
Mixed-Integer-Non-Linear-Programming-and-Graph-Applications
Investigating Mixed Integer Non-Linear Programming optimization theory & tools, and their applications to graphs.
Symbolic-Execution-Engine
Symbolic Execution Engine for simple imperative programs