all my notes in one place
☆12Mar 29, 2026Updated 2 weeks ago
Alternatives and similar repositories for all
Users that are interested in all are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 把教育信息化体系中的Word试题，Excel试卷、知识点等数据解析成json内容。☆13Mar 3, 2020Updated 6 years ago
- functionality for working with LaTex files☆11Jan 30, 2022Updated 4 years ago
- source code of Oixi2 Demo☆14Sep 13, 2021Updated 4 years ago
- This repository contains the source html files for the website complex-analysis.com☆18Mar 4, 2026Updated last month
- A short program that solves the klotski sliding block puzzle game☆14Oct 6, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Agda Universal Algebra Library (html docs available at the url below)☆45Dec 20, 2025Updated 3 months ago
- JavaScript library to solve exact cover problems by implementing Donald E. Knuth's Algorithm X using the Dancing Links technique☆23Nov 2, 2019Updated 6 years ago
- Source code for the nLab☆210Mar 15, 2025Updated last year
- Mirror of ocaml-forester☆50Jun 18, 2024Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆41Nov 6, 2024Updated last year
- transform latex into word formula☆31Sep 8, 2020Updated 5 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆52Dec 12, 2021Updated 4 years ago
- wip -- 6.390 IntorML course notes☆47Updated this week
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067☆107Sep 2, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Decompilation of Street Fighter III: 3rd Strike for PlayStation 2☆235Apr 3, 2026Updated last week
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆273Updated this week
- IPython magics for generating figures with TikZ☆167Jan 16, 2025Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆129Jul 9, 2024Updated last year
- Planning for an entire maths LaTeX book☆232Jun 29, 2023Updated 2 years ago
- Obsidian plugin for per-pane history, pane movement/navigation hotkeys, and more☆294Mar 8, 2025Updated last year
- Group theory visualization software in the browser☆282Mar 17, 2024Updated 2 years ago
- Perform file explorer operations (and see your current file path) from the Obsidian.md title bar☆326Mar 4, 2026Updated last month
- Outliner-like breadcrumb trees for search, backlinks and embedded queries☆350Dec 1, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Fork of https://github.com/sm64-port/sm64-port with additional features.☆331Dec 4, 2024Updated last year
- L-Functions and Modular Forms Database☆283Updated this week
- Source code for all the animations in my videos. Uses @3b1b's manim library☆188May 24, 2024Updated last year
- Image to LaTeX (Seq2seq + Attention with Beam Search) - Tensorflow☆464Aug 19, 2020Updated 5 years ago
- A Lean companion to Analysis I☆1,660Updated this week
- An Infinitely Large Napkin☆1,857Updated this week
- Lean 3 Theorem Prover (community fork)☆433Oct 12, 2023Updated 2 years ago
- A python library to compute the graph Ricci curvature and Ricci flow on NetworkX graph.☆282Jun 26, 2024Updated last year
- GearNet and Geometric Pretraining Methods for Protein Structure Representation Learning, ICLR'2023 (https://arxiv.org/abs/2203.06125)☆316Jun 13, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- LLMPerf is a library for validating and benchmarking LLMs☆1,103Dec 9, 2024Updated last year
- My Rice Setup☆1,058Jun 27, 2025Updated 9 months ago
- amateur translation project of Grothendieck's EGA.☆385Oct 15, 2025Updated 5 months ago
- Interactive Linear Algebra☆753Oct 11, 2023Updated 2 years ago
- Implementation for SE(3) diffusion model with application to protein backbone generation☆418Jul 3, 2023Updated 2 years ago
- Use treesitter to auto close and auto rename html tag☆2,082Feb 4, 2026Updated 2 months ago
- Self-hostable web app for isolating the vocal, accompaniment, bass, and drums of any song. Supports Spleeter, Demucs, BS-RoFormer. Built …☆537Updated this week