all my notes in one place
☆12Mar 29, 2026Updated last month
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:
- Three.js scripts used in Tungsteno☆11Jan 4, 2022Updated 4 years ago
- 把教育信息化体系中的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☆18Apr 24, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Python implementation of Knuth's Dancing Links (dlx) algorithm to solve set cover. Extremely efficient at solving Sudoku and combinatoria…☆17Feb 16, 2023Updated 3 years ago
- Pandoc filters for scientific writing☆18Jul 6, 2020Updated 5 years ago
- Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)☆24Mar 25, 2019Updated 7 years ago
- An interactive guide to the Fourier-Transform.☆26Nov 17, 2024Updated last year
- Obsidian Plugin to navigate to the next and previous file in the current directory☆26Mar 21, 2026Updated last month
- EARL: Environment for Autonomous Reinforcement Learning☆37Nov 24, 2022Updated 3 years ago
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 2 months ago
- Source code for the nLab☆213Mar 15, 2025Updated last year
- Mirror of ocaml-forester☆50Jun 18, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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
- An Explorable Explanation of Matrices and Linear Transformations☆45Aug 24, 2023Updated 2 years ago
- Listing of online math seminars☆43Oct 9, 2025Updated 6 months ago
- Solves tetromino and/or arbitrary polyomino fitting problems☆57Mar 26, 2025Updated last year
- Compile Tex files easily☆94Nov 9, 2022Updated 3 years ago
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067☆107Sep 2, 2023Updated 2 years ago
- Compiling Agda code to readable Haskell☆206Feb 3, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Benchmark environment for evaluating vision-language models (VLMs) on popular video games!☆347May 30, 2025Updated 11 months ago
- code for Graph Neural Networks for Link Prediction with Subgraph Sketching https://arxiv.org/abs/2209.15486☆102Dec 29, 2023Updated 2 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆276Updated 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
- Obsidian plugin for per-pane history, pane movement/navigation hotkeys, and more☆298Mar 8, 2025Updated last year
- Perform file explorer operations (and see your current file path) from the Obsidian.md title bar☆326Mar 4, 2026Updated 2 months ago
- A Haskell library for converting LaTeX math to MathML.☆393Apr 24, 2026Updated last week
- Outliner-like breadcrumb trees for search, backlinks and embedded queries☆352Dec 1, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- L-Functions and Modular Forms Database☆284Updated this week
- Source code for all the animations in my videos. Uses @3b1b's manim library☆189May 24, 2024Updated last year
- Several code katas on a racing car theme☆317May 22, 2025Updated 11 months ago
- An Infinitely Large Napkin☆1,871Apr 11, 2026Updated 3 weeks ago
- Lean 3 Theorem Prover (community fork)☆433Oct 12, 2023Updated 2 years ago
- Code for paper "SurVAE Flows: Surjections to Bridge the Gap between VAEs and Flows"☆290Feb 1, 2021Updated 5 years ago
- Source code for the applications presented in the course "Geometry Processing with Discrete Exterior Calculus"☆597Mar 7, 2018Updated 8 years ago