shivangp76's Stars
tauri-apps/tauri
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
microsoft/playwright
Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.
tinygrad/tinygrad
You like pytorch? You like micrograd? You love tinygrad! ❤️
Textualize/textual
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
TanStack/table
🤖 Headless UI for building powerful tables & datagrids for TS/JS - React-Table, Vue-Table, Solid-Table, Svelte-Table
MostlyAdequate/mostly-adequate-guide
Mostly adequate guide to FP (in javascript)
lukas-blecher/LaTeX-OCR
pix2tex: Using a ViT to convert images of equations into LaTeX code.
rougier/numpy-100
100 numpy exercises (with solutions)
kien/ctrlp.vim
Fuzzy file, buffer, mru, tag, etc finder.
chmln/sd
Intuitive find & replace CLI (sed alternative)
ducaale/xh
Friendly and fast tool for sending HTTP requests
Slackadays/Clipboard
😎🏖️🐬 Your new, 𝙧𝙞𝙙𝙤𝙣𝙠𝙪𝙡𝙞𝙘𝙞𝙤𝙪𝙨𝙡𝙮 smart clipboard manager
leanprover/lean4
Lean 4 programming language and theorem prover
stevearc/oil.nvim
Neovim file explorer: edit your filesystem like a buffer
initialcommit-com/git-sim
Visually simulate Git operations in your own repos with a single terminal command.
justinmk/vim-sneak
The missing motion for Vim :athletic_shoe:
ajcr/100-pandas-puzzles
100 data puzzles for pandas, ranging from short and simple to super tricky (60% complete)
ludovicchabant/vim-gutentags
A Vim plugin that manages your tag files
machakann/vim-sandwich
Set of operators and textobjects to search/select/edit sandwiched texts.
let-def/texpresso
TeXpresso: live rendering and error reporting for LaTeX
AndrewJudson/ankiextension
Anki + LLMs = <3
Julian/lean.nvim
Neovim support for the Lean theorem prover
lervag/apy
CLI script for interacting with local Anki collection
jonhoo/proximity-sort
Simple command-line utility for sorting inputs by proximity to a path argument
cjquines/qboard
The efficient digital whiteboard.
mezz64/pyEight
Python library to interface with the Eight Sleep API
lewis6991/fileline.nvim
Goto filenames with line info
open-spaced-repetition/rs-fsrs
Rust-based Scheduler for FSRS
adeebshihadeh/nand2tetris
"build a modern computer from first principles"
Akida31/anki-latex-header-footer
Change the LaTeX of every note type.