alok - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View alok's full-sized avatar

Alok Singh alok

Block or report 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