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.
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.
Dynamic Sparsity Is Channel-Level Sparsity Learner [Neurips 2023]
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
Two player game where the Chaser tries to catch the Runner
JavaScript port of my C# Chase engine
Simple robot game demonstrating pathfinding
Project 2 - Udacity Robotics Software Engineer Nanodegree Program
Run this Chrome extension and never forget how much money you actually have
Add a description, image, and links to the chase topic page so that developers can more easily learn about it.
To associate your repository with the chase topic, visit your repo's landing page and select "manage topics."