Skip to content
View alok's full-sized avatar
184 followers · 43 following

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Highlights

  • Pro

Block or report alok

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
alok/README.md

Math + AI 🙂

Popular repositories Loading

  1. notational-fzf-vim notational-fzf-vim Public

    Notational velocity for vim.

    Vim Script 1.1k 64

  2. rl_implementations rl_implementations Public

    Reinforcement learning algorithm implementations and ML experimentation workspace

    Jupyter Notebook 43 5

  3. python-conceal python-conceal Public

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

    Vim Script 17 4

  4. thread-twitter thread-twitter Public

    Converts Twitter threads to Markdown files with proper reply indentation.

    Python 11 3

  5. LeanPlot LeanPlot Public

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

    Lean 9

  6. lean-inf lean-inf Public

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

    Lean 8