Email: smaranteja32@gmail.com
-
Northeastern University
- Boston
- https://smaran.io
- in/smaranteja
Pinned Loading
-
-
Logical-Foundations
Logical-Foundations PublicCoq proof assistant exercises from logical foundations book (from ROCQ Reading Group)
HTML
-
-
-
lukeachristenson/TradingDSL
lukeachristenson/TradingDSL PublicOur DSL is designed to implement and test trading strategies, focusing on forecasting future performance and backtesting historical data to evaluate their effectiveness.
HTML 1
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.

