Lists (2)
Starred repositories
Command-line program to download videos from YouTube.com and other video sites
⚡ Dynamically generated stats for your github readmes
Anki is a smart spaced repetition flashcard program
An Emacs framework for the stubborn martian hacker
A massively parallel, high-level programming language
♞ lichess.org: the forever free, adless and open source chess server ♞
The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.
📊 An infographics generator with 30+ plugins and 300+ options to display stats about your GitHub account and render them as SVG, Markdown, PDF or JSON!
pix2tex: Using a ViT to convert images of equations into LaTeX code.
A computer algebra system written in pure Python
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly
Skip YouTube video sponsors (browser extension)
Enabling the Windows Subsystem for Linux to include support for Wayland and X server related scenarios
The core OCaml system: compilers, runtime system, base libraries
Rudimentary Roam replica with Org-mode
Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.
Tutorials and programming exercises for learning Q# and quantum computing
Resources, links, projects, and ideas for gardeners tending their digital notes on the public interwebs
A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more
EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs
A comprehensive collection of KAN(Kolmogorov-Arnold Network)-related resources, including libraries, projects, tutorials, papers, and more, for researchers and developers in the Kolmogorov-Arnold N…
An Open-Source Python3 tool with SMALL models for recognizing layouts, tables, math formulas (LaTeX), and text in images, converting them into Markdown format. A free alternative to Mathpix, empowe…