Razor is a tool for constructing finite models for first-order theories
-
Updated
Dec 19, 2022 - Rust
Razor is a tool for constructing finite models for first-order theories
ATLAS is a sophisticated real-time risk analysis system designed for institutional-grade market risk assessment. Built with high-frequency trading (HFT) capabilities and advanced machine learning techniques, ATLAS provides continuous volatility predictions and risk metrics using both historical patterns and real-time market data.
Dynamic Sparsity Is Channel-Level Sparsity Learner [Neurips 2023]
A simulation of a 3 Degree of freedom robotic arm which automatically reconfigures it's kinematics using reinforcement learning to chase a blue box, which is moved around by a mouse.
Engine for the game of chase (not chess)
MoneyChat is a chatbot that helps you manage your money. It is built using the GPT and the Banks API(BOA, Chase)
📄 Replication Package: Who Gets a Patch Accepted First? Comparing the Contributions of Employees and Volunteers
💳 View credit card benefit usage so you can justify the absurd annual costs ✨
Project 2 - Udacity Robotics Software Engineer Nanodegree Program
Simple robot game demonstrating pathfinding
Consolidate multiple 1099 brokerage tax forms, visualize realized gains/losses, and track data for Fidelity, Chase, Vanguard, Schwab, and others!
A CLI tool that converts financial data to Beancount files. Docs:
JavaScript port of my C# Chase engine
To associate your repository with the chase topic, visit your repo's landing page and select "manage topics."