Pinned Loading

1. karipov/nostrust karipov/nostrust Public

   🕊️ Experimental trustworthy and GDPR-compliant Nostr relay powered by the Intel SGX trusted execution environment (TEE).

   Rust 3 1

2. formalML formalML Public

   🤖 Formalization of machine learning concepts—classifiers, loss functions, hypothesis classes, VCdim—in Lean!

   Lean

3. college-dropout-s college-dropout-s Public

   🚘 License Plate Recognition (LPR) using CNN-based architectures—LPRNet & Character Segmented models.

   Python 3 1

4. music-project music-project Public

   🎹 Using controlled Markov sequences and Pseudorandom Number Generators to create midi signals for a music project

   Python 2

5. timeseries-forecasting timeseries-forecasting Public

   📈 Notes and supporting code files exploring time series analysis and forecasting models!

   Python

6. Nifty_IV Nifty_IV Public

   💸 Webscraping and analysis of Indian Index Funds—NIFTY and BankNIFTY—from the Indian National Stock Exchange

   Python