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