-
-
sysmlv2-jupyter-docker Public
Forked from gorenje/sysmlv2-jupyter-dockerCreate docker image for running SysMLv2 with Jupyter
Jupyter Notebook GNU Lesser General Public License v3.0 UpdatedOct 25, 2024 -
-
-
cobnet Public
change of basis abstractions using neural networks
Jupyter Notebook UpdatedSep 1, 2024 -
latent_ode Public
Forked from YuliaRubanova/latent_odeCode for "Latent ODEs for Irregularly-Sampled Time Series" paper
Python MIT License UpdatedJun 7, 2024 -
-
lim1tr Public
Forked from sandialabs/lim1trLithium-Ion Modeling with 1-D Thermal Runaway (LIM1TR)
Python GNU Affero General Public License v3.0 UpdatedMay 10, 2024 -
AutoKoopman Public
AutoKoopman - automated Koopman operator methods for data-driven dynamical systems analysis and control.
-
-
-
-
hybrid-system-learning Public
exploring hybrid system learning
Python GNU General Public License v3.0 UpdatedMar 9, 2024 -
learning-automata Public
my exploration of learning DFAs and WFAs
Python GNU General Public License v3.0 UpdatedMar 4, 2024 -
npde Public
Forked from cagatayyildiz/npdeNonparametric Differential Equation Modeling
Jupyter Notebook MIT License UpdatedMar 3, 2024 -
vim-compose Public
Forked from mbid/vim-composeTypeScript GNU General Public License v3.0 UpdatedFeb 14, 2024 -
clafer-language-vscode Public
unofficial vscode language support for the clafer modeling language
UpdatedFeb 14, 2024 -
clafer-preview Public
unofficial vscode extension for the clafer modeling language
TypeScript UpdatedFeb 12, 2024 -
SWaP-C-analysis Public
example SWaP-C analysis inthe Clafer modeling language
GNU General Public License v3.0 UpdatedJan 25, 2024 -
concave-hull Public
fast concave hull python package
-
is-even-4B Public
the "4 billion if statements" is_even written as a Rust procedural macro
-
typst Public
Forked from typst/typstA new markup-based typesetting system that is powerful and easy to learn.
Rust Apache License 2.0 UpdatedNov 23, 2023 -
-
nixvim Public
Forked from nix-community/nixvimConfigure Neovim with Nix! [maintainer=@pta2002, @traxys, @GaetanLepage]
Nix MIT License UpdatedSep 17, 2023 -
saw-script Public
Forked from GaloisInc/saw-scriptThe SAW scripting language.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 30, 2023 -
mkr-vidor-exploration Public
exploration of MKR Video 4000 Hardware Platform
Nix GNU General Public License v3.0 UpdatedAug 13, 2023 -
-
sphero-rs Public
my implementation of the sphero api in rust
Rust GNU General Public License v3.0 UpdatedAug 12, 2023 -
SEE-Reach-py Public
A HL Symbolic Execution Engine Prototype for Reachability
Python GNU General Public License v3.0 UpdatedJul 10, 2023 -
cuda-roa Public
Fast, parallel method for estimating the region of attraction for a controlled inverted pendulum using CUDA
{{ message }}