wizzardx
Follow
-
lean4-meta-verifier Public
Lean 4 Meta-Verifier is a self-hosting, multi-language formal verification system powered by Lean 4 and Tree-sitter. It enables universal correctness checking for Python, JavaScript, Rust, and more…
MIT License UpdatedFeb 27, 2025 -
PriceScoutAI Public
AI-powered price scout that finds the lowest cost for products by scraping multiple retailers, including lesser-known platforms, and comparing prices across currencies.
Shell MIT License UpdatedFeb 24, 2025 -
nash_equilibrium_sim Public
A minimal Nash Equilibrium simulator using Python and nashpy.
Python UpdatedFeb 22, 2025 -
-
bracket Public
A Crystal shard implementing the bracket pattern for safe resource management. Ensures proper initialization and cleanup of resources, similar to Python's context managers or Haskell's bracket patt…
-
chatgpt_gateway Public
A Crystal service that extends ChatGPT's capabilities by providing a secure gateway for executing custom actions. Built using TDD practices and designed to run on DigitalOcean.
Shell MIT License UpdatedFeb 22, 2025 -
recursive-intelligence-loop Public
Recursive intelligence self-optimization loop using AI language models, with structured conversation persistence and XML/MD logging
Python MIT License UpdatedFeb 19, 2025 -
-
fsi-cacher-runner Public
A lightweight caching and execution tool for F# scripts, designed to improve performance by compiling scripts only when necessary.
F# MIT License UpdatedJan 13, 2025 -
Marshall Basic Calculator App
TypeScript MIT License UpdatedOct 29, 2024 -
-
-
manies_maintenance_manager Public
Project for helping Manie to coordinate his maintenance jobs with his commercial clients
Python UpdatedAug 24, 2024 -
-
-
JavaScript30 Public
Forked from wesbos/JavaScript3030 Day Vanilla JS Challenge
HTML UpdatedApr 17, 2024 -
JavaScript Rock Paper Scissors for The Odin Project
JavaScript UpdatedApr 17, 2024 -
javascript-exercises Public
Forked from TheOdinProject/javascript-exercisesjavascript-exercises from The Odin Project
JavaScript MIT License UpdatedApr 7, 2024 -
-
-
-
-
DevGPT Public
Forked from fabriziosalmi/DevGPTCode togheter, right now..
GNU General Public License v3.0 UpdatedDec 27, 2023 -
-
-
-
-
capstone-resume Public
Basic resume I'm working on as a project while going through a web dev guide.
HTML UpdatedSep 10, 2023 -
-
Nim Public
Forked from nim-lang/NimNim is a compiled, garbage-collected systems programming language with a design that focuses on efficiency, expressiveness, and elegance (in the order of priority).
Nim Other UpdatedMay 26, 2021