Stars
Computations and statistics on manifolds with geometric structures.
Multi-platform high-performance compute language extension for Rust.
Tesla Mod — Flipper Zero & ESP32. Nag killer, FSD region unlock, track mode, BMS dashboard, blind spot alert, high beam strobe, speed display, steering mode + more. Works via OBD-II or X179 connector.
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
Python toolbox for optimization on Riemannian manifolds with support for automatic differentiation
An open-source kinetic sand art table that creates mesmerizing patterns using a ball controlled by precision motors.
somewhat of an implementation of Xbox Security Method 3
This repository holds the code for BYU's 2024 NASA BIG Idea Competition team, through the Compliant Mechanisms and Robotics lab at BYU.
Streamlit — A faster way to build and share data apps.
Model-based design and verification for robotics.
Python wrapper of LSODA (solving ODEs) which can be called from within numba functions.
Given a path, computes the 3D shape ("trajectoid") that would follow this path when rolling down a slope
SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the SnapPea kernel written by Jeff Weeks.
My master's thesis on GPU parallel computing. A Python module for transparent execution of code on GPU accelerators based on the Numpy interface. Built for AMD's open source ROCm ecosystem
Deep reinforcement learning to perform shape optimization
Solving differential equations in Python using DifferentialEquations.jl and the SciML Scientific Machine Learning organization
Cross-platform CLI and Python drivers for AIO liquid coolers and other devices
Rich is a Python library for rich text and beautiful formatting in the terminal.
The Python Control Systems Library is a Python module that implements basic operations for analysis and design of feedback control systems.
Obico is a community-built, open-source smart 3D printing platform used by makers, enthusiasts, and tinkerers around the world.
A web-based collaborative LaTeX editor
A computer algebra system written in pure Python
Next generation High-Power Rocketry 6-DOF Trajectory Simulation
Lean 4 programming language and theorem prover
Open source code for AlphaFold 2.