dpsanders

Metaprogramming_JuliaCon_2021

ReversePropagation.jl

SatisfiabilityInterface.jl

18S191

Course 18.S191 at MIT, fall 2020 - Introduction to computational thinking with Julia:

SimpleSATSolver.jl

VectorizedIntervalAlgorithms.jl

hopping_times

dymos

Open Source Optimization of Dynamic Multidisciplinary Systems

Julog.jl

A Julia package for Prolog-style logic programming.

ModelingToolkit.jl

A toolkit for modeling and creating DSLs for Scientific Computing in Julia

MusicMakie.jl

Music notation with Makie.jl

abjad

Abjad is a Python API for building LilyPond files. Use Abjad to make PDFs of music notation.

autobound

AutoBound automatically computes upper and lower bounds on functions.

Doppelkeks.jl

A stupidly simple SAT solver that is not performant.

eigentools

The Eigentools package for Dedalus

gecode

Generic Constraint Development Environment

IntervalUnionArithmetic.jl

An implementation of interval union arithmetic in Julia

J2suscep

See https://github.com/WatsonGroupTCD/J2suscep/wiki

Manopt.jl

Optimization on Manifolds in Julia

Metatheory.jl

General purpose metaprogramming and algebraic computation library for the Julia programming language

MilleniumDB_RPQPaper_Vrgoc

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.

pmw

PMW is a music typesetting program, processing marked-up text into PostScript and PDF.

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

vexflow

A JavaScript library for rendering music notation and guitar tablature.