Joaquim Puig's repositories
JuliaPorUnNovato
Julia Code for the Introductory "Julia Por un Novato" threads
moodle-symbolic-quiz-generator
Generating Moodle Question Banks using Python and Sympy
000
corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Language:CoqGPL-2.0000
DiffEqDocs.jl
Documentation for the DiffEq differential equations and scientific machine learning (SciML) ecosystem
Language:JuliaNOASSERTION000
journal.pone.0251593
Code and data to reproduce the analysis of https://doi.org/10.1371/journal.pone.0251593
MIT000
Language:JuliaMIT000
ReachabilityAnalysis.jl
Methods to compute sets of states reachable by dynamical systems
Language:JuliaMIT000