Stars
Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.
A collection of formalized statements of conjectures in Lean.
A nerdy little interview website, asking people from all walks of life what they use to get the job done.
DO NOT CHECK OUT THESE FILES FROM GITHUB UNLESS YOU KNOW WHAT YOU ARE DOING. (See below.)
A project to map out the relations between different equational theories of Magmas.
byigitt / VERT
Forked from VERT-sh/VERTThe next-generation file converter. Open source, fully local* and free forever.
A Rust Implementation of the PLONK ZKP System and Extensions
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
Sparsify transformers with SAEs and transcoders
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
A cross-platform, OpenGL terminal emulator.
Course 18.S191 at MIT, Fall 2022 - Introduction to computational thinking with Julia
Blind Rectification of Radial Distortion by Line Straightness
Lib for doing basic linear algebra https://kjerandp.github.io/linear-algebra
Virtual whiteboard for sketching hand-drawn like diagrams
OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched
Implementation of Nougat Neural Optical Understanding for Academic Documents
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
[COLM 2024] A Survey on Deep Learning for Theorem Proving