Alok Singh alok

Popular repositories Loading

1. Notational velocity for vim.

   Vim Script 1.1k 64

2. Reinforcement learning algorithm implementations and ML experimentation workspace

   Jupyter Notebook 44 5

3. Vim plugin for concise Python display using Unicode for subscripts and math notation

   Vim Script 18 4

4. Interactive React-powered charting library for Lean 4 in VS Code's infoview

   Lean 16

5. Converts Twitter threads to Markdown files with proper reply indentation.

   Python 11 2

6. Levi-Civita field implementation in Lean 4 for computing with infinities and infinitesimals.

   Lean 9