-
-
sentinel_verifier Public
🛡️ Runtime formal verification for AI agents using Z3 SMT solver. Provably safe agent actions through neuro-symbolic architecture.
-
-
portfolio Public
My personal portfolio about projects, experience and who I am.
HTML UpdatedOct 15, 2025 -
ldraw-parts-library-2025 Public
Forked from gkjohnson/ldraw-parts-libraryUpload of the LDraw parts library intended to be used for static file loading in github examples.
UpdatedJul 7, 2025 -
yolov12_greyscale Public
Forked from sunsmarterjie/yolov12YOLOv12: Attention-Centric Real-Time Object Detectors
Python GNU Affero General Public License v3.0 UpdatedMay 26, 2025 -
-
shakespear_nanoGPT Public
Implemented simple bigram-based transformer model and trained it on Shakespear data
Jupyter Notebook UpdatedFeb 20, 2025 -
RepoSnap Public
Chrome extension for GitHub repos: Returns box containing a single bash script (which can be copied), that can be used to set up, build etc. the application based on the source files in the repo lo…
JavaScript UpdatedJul 23, 2024 -
-
-
-
-
ght Public
A project for testing an EEG/ECG device with various tests including voltage tests with sine and triangle etc.
C Apache License 2.0 UpdatedSep 24, 2021 -
theme_example Public
Forked from JohannesMilke/theme_exampleSwitch easily between Dark & Light Theme. We cover both phone system themes and app local themes.
Dart UpdatedJan 12, 2021
{{ message }}