EthanJamesLew

AutoKoopman

AutoKoopman - automated Koopman operator methods for data-driven dynamical systems analysis and control.

Trollfish

the most powerful chess engine that wants to draw with you

concave-hull

fast concave hull python package

cuda-roa

Fast, parallel method for estimating the region of attraction for a controlled inverted pendulum using CUDA

elew-cv

my cv

elew-vim

my vim configuration

is-even-4B

the "4 billion if statements" is_even written as a Rust procedural macro

syscall-anomaly

exploring anomaly detection of syscalls

timeln

annotate your stdout with timing information

Autokoopman-Presentation-ATVA-2023

ATVA 2023 Presentation

clafer-language-vscode

unofficial vscode language support for the clafer modeling language

clafer-preview

unofficial vscode extension for the clafer modeling language

elew-blog

my blog

EthanJamesLew

Config files for my GitHub profile.

hybrid-system-learning

exploring hybrid system learning

latent_ode

Code for "Latent ODEs for Irregularly-Sampled Time Series" paper

learning-automata

my exploration of learning DFAs and WFAs

mkr-vidor-exploration

exploration of MKR Video 4000 Hardware Platform

nixvim

Configure Neovim with Nix! [maintainer=@pta2002, @traxys, @GaetanLepage]

nkpl-vim

npde

Nonparametric Differential Equation Modeling

replace_last_backslash

Python package with a single module that replaces the last backslash in a path string with a forward slash.

saw-script

The SAW scripting language.

SEE-Reach-py

A HL Symbolic Execution Engine Prototype for Reachability

spacepackets-rs

CCSDS and ECSS packet standards implementations

sphero-rs

my implementation of the sphero api in rust

SWaP-C-analysis

example SWaP-C analysis inthe Clafer modeling language

typst

A new markup-based typesetting system that is powerful and easy to learn.

uvmhs-nix

a nix flake for UVMHS development

vim-compose