published Published about 1 month ago
BlankLocalizationCore.jl: implementing blank localization in Julia
Perl Julia
review pending Submitted about 1 year ago
Rosenbrock methods within OrdinaryDiffEq.jl - Overview, recent developments and applications -
published Published 6 months ago
Dionysos.jl: a Modular Platform for Smart Symbolic Control
Julia Perl
published Published 4 months ago
RobustNeuralNetworks.jl: a Package for Machine Learning and Data-Driven Control with Certified Robustness
Julia
review pending Submitted about 1 year ago
EinEXprs: Contraction Paths of Tensor Networks as Symbolic Expressions
review pending Submitted over 1 year ago
MINDFul.jl: A Framework for Intent-driven Multi-Domain Network coordination
published Published 5 months ago
FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
Perl Julia Racket
published Published 4 months ago