|
Racket |
9 |
A library for studying LTI dynamical systems |
Apr 26, 2023 |
|
Matlab |
2 |
Aerospace Dynamical Systems |
Mar 11, 2019 |
|
Julia |
4 |
Dynamical systems identification |
Jan 09, 2023 |
|
Julia |
5 |
Carleman linearization for dynamical systems |
May 16, 2022 |
|
Jupyter Notebook |
17 |
Poisson-Gamma dynamical systems |
Mar 03, 2022 |
|
Python |
24 |
Models of dynamical systems |
Jun 12, 2022 |
|
Jupyter Notebook |
44 |
Building dynamical systems compositionally |
Mar 31, 2023 |
|
Julia |
4 |
Coarse-grained dynamical systems |
Apr 12, 2023 |
|
C++ |
3 |
Collection of dynamical systems |
Jun 22, 2023 |
|
Java |
2 |
Java (simple) Dynamical Systems |
Jan 01, 2024 |
|
Python |
41 |
Variational inference for hierarchical dynamical systems |
Jun 08, 2022 |
|
MLIR |
2 |
Proxy application for analyzing dynamical systems. |
Mar 03, 2023 |
|
Julia |
3 |
Tools for solving constrained dynamical systems |
Jan 20, 2023 |
|
C++ |
35 |
Model reduction for linear and nonlinear dynamical systems: core C++ library |
Apr 21, 2023 |
|
Cython |
7 |
Poisson-Randomized Gamma Dynamical Systems |
Nov 04, 2022 |
|
R |
8 |
a greta extension for modelling dynamical systems |
Jun 24, 2022 |
|
Python |
67 |
some tools for gaussian linear dynamical systems |
Oct 24, 2021 |
|
Julia |
9 |
Collection of predefined dynamical systems for DynamicalSystems.jl |
Apr 20, 2023 |
|
Julia |
3 |
Utilities for plotting and analyzing dynamical systems |
Jul 25, 2022 |
|
Julia |
2 |
Warehouse for dynamical systems identification and control |
Dec 13, 2022 |
|
JavaScript |
2 |
Computer Assisted Proto-language Reconstruction |
Feb 24, 2023 |
|
OCaml |
224 |
EasyCrypt: Computer-Aided Cryptographic Proofs |
Apr 29, 2023 |
|
Python |
15 |
Code for data-assisted reduced-order modeling of extreme events in complex dynamical systems, available on arXiv: … |
Sep 19, 2022 |
|
Julia |
5 |
Simulations of spatio temporal dynamical systems |
Jun 26, 2022 |
|
F# |
19 |
Symbolic analysis of discrete dynamical systems |
May 21, 2022 |
|
Julia |
3 |
Audio from Dynamical Systems in Julia |
Jul 25, 2022 |
|
Julia |
6 |
Estimators for probabilities and entropies in dynamical systems. |
Mar 25, 2022 |
|
Python |
464 |
A framework for modeling and simulating dynamical systems |
Aug 30, 2022 |
|
Julia |
46 |
Definition of dynamical systems and integrators for DynamicalSystems.jl |
Aug 20, 2022 |
|
MATLAB |
56 |
DynaSim toolbox for modeling and simulating dynamical systems |
Apr 17, 2023 |
|
Python |
2 |
Online active identification algorithm for linear dynamical systems. |
Jun 14, 2023 |
|
Java |
77 |
Computer Assisted Text Markup and Analysis |
May 17, 2023 |
|
Python |
13 |
My book: Gentle Introduction to Chaotic Dynamical Systems. Includes stochastic dynamical systems and statistical properties … |
Apr 15, 2023 |
|
Julia |
50 |
Reachability and Safety of Nondeterministic Dynamical Systems |
Mar 15, 2022 |
|
TeX |
4 |
Augmented Joint-space Task-oriented Dynamical Systems |
Mar 24, 2022 |
|
Python |
5 |
Simultaneous Identification and Denoting of Dynamical Systems |
Aug 21, 2022 |
|
TeX |
9 |
Approximate Robust Control of Uncertain Dynamical Systems |
Aug 24, 2022 |
|
OCaml |
2 |
A tool for sharing proofs with predicative systems |
Feb 11, 2023 |
|
Python |
18 |
Deep learning framework for model reduction of dynamical systems |
Jan 28, 2023 |
|
Python |
2 |
Diddy: toolbox for analysis of infinite discrete dynamical systems |
Aug 29, 2023 |
|
Java |
7 |
Process Mining Tool with Computer-assisted Guidance |
Nov 15, 2022 |
|
TeX |
4 |
a C++ class library for statistical set processing and computer-aided proofs in statistics. |
Oct 06, 2021 |
|
Haskell |
2 |
Haskell library for writing proofs |
Dec 05, 2019 |
|
PHP |
2 |
Computer-assisted personal interviewing (CAPI) for large epidemiology studies. |
Jul 21, 2022 |
|
PHP |
5 |
Computer-assisted telephone interviewing (CATI) for large epidemiology studies. |
Jul 21, 2022 |
|
Python |
2 |
Collection of dynamical systems that have chaotic attractors. |
May 30, 2023 |
|
Jupyter Notebook |
7 |
Differentiable likelihoods for fast inversion of likelihood-free dynamical systems |
Jan 04, 2022 |
|
Jupyter Notebook |
2 |
A Python package for the analysis of compartmental dynamical systems. |
Nov 26, 2021 |
|
TypeScript |
8 |
React component library for the https://github.com/openshift-assisted/assisted-ui. |
Jul 12, 2022 |
|
Java |
24 |
Compiler Assisted Localization library for Java |
Jan 26, 2023 |