Code repository for The Automation Ahead series, showcasing practical examples for GenAI-driven automation in investments. Each installment dives into specific tools, techniques, and use cases to help professionals assess and apply GenAI effectively.
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
💸 Papers and Code Implements for Quantitative-Trading
Example repository for integrating Ant Design with ReactPWA project. This repo demonstrates the usage & integration of Ant Design in existing ReactPWA project.
A simple url unroller (un-shortener) in elixir
🔑 Code for my blog post on using .NET anti-forgery tokens in @Sitecore JavaScript Services.