David P. Sanders's repositories
ModelingToolkit.jl
A toolkit for modeling and creating DSLs for Scientific Computing in Julia
MusicMakie.jl
Music notation with Makie.jl
Doppelkeks.jl
A stupidly simple SAT solver that is not performant.
eigentools
The Eigentools package for Dedalus
IntervalUnionArithmetic.jl
An implementation of interval union arithmetic in Julia
Metatheory.jl
General purpose metaprogramming and algebraic computation library for the Julia programming language
MusicManipulations.jl
Manipulate music data, humanize, quantize and analyze music performances with Julia
MusicVisualizations.jl
Providing music-related visualization built on top of the packages of JuliaMusic
MusicXML.jl
MusicXML in Julia
opensheetmusicdisplay
OpenSheetMusicDisplay renders sheet music in MusicXML format in your web browser based on VexFlow. OSMD is brought to you by PhonicScore.com.
proteinnet
Standardized data set for machine learning of protein structure
Satisfiability.jl
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
Symbolics.jl
A WIP CAS