+
Skip to content
View alok's full-sized avatar

Highlights

  • Pro

Block or report alok

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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 18 4

  4. thread-twitter thread-twitter Public

    Converts Twitter threads to Markdown files with proper reply indentation.

    Python 11 3

  5. lean-inf lean-inf Public

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

    Lean 8

  6. LeanPlot LeanPlot Public

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

    Lean 8

点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载