all my notes in one place
☆13Mar 29, 2026Updated 3 months 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:
- a brain & puzzle game by cocos2d-html5☆53Jul 1, 2013Updated 13 years ago
- Three.js scripts used in Tungsteno☆11Jan 4, 2022Updated 4 years ago
- This repository contains the source html files for the website complex-analysis.com☆18May 30, 2026Updated last month
- Repository for the view as html feature☆34Apr 24, 2026Updated 2 months ago
- A short program that solves the klotski sliding block puzzle game☆14Oct 6, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Agda Universal Algebra Library (html docs available at the url below)☆46Updated this week
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 4 months ago
- Source code for the nLab☆220Mar 15, 2025Updated last year
- Mirror of ocaml-forester☆51Jun 18, 2024Updated 2 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆42Nov 6, 2024Updated last year
- Write LaTeX theorems in Pandoc Markdown☆76Oct 31, 2023Updated 2 years ago
- Research of a deep predictive coding model for unsupervised representation learning from video and audio data.☆33Oct 18, 2019Updated 6 years ago
- A modern boilerplate for three.js projects☆44Oct 21, 2018Updated 7 years ago
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067☆108Sep 2, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- PyTorch library of layers acting on protein representations☆119Jun 30, 2024Updated 2 years ago
- 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
- HoTTEST Summer School materials☆334Jun 3, 2025Updated last year
- Group theory visualization software in the browser☆293Mar 17, 2024Updated 2 years ago
- Code for the paper "Predictive Coding Approximates Backprop along Arbitrary Computation Graphs"☆174Nov 23, 2020Updated 5 years ago
- A markdown parser with high extensibility.☆460Jun 24, 2026Updated last week
- UpliftML: A Python Package for Scalable Uplift Modeling☆336Mar 23, 2023Updated 3 years ago
- Design automation software tools for Topological Quantum Error Correction☆372Jun 28, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- AI4Animation in javascript & three.js☆246May 13, 2019Updated 7 years ago
- A Python type checker☆381Jan 27, 2026Updated 5 months ago
- L-Functions and Modular Forms Database☆288Jun 16, 2026Updated 2 weeks ago
- Source code for all the animations in my videos. Uses @3b1b's manim library☆190May 24, 2024Updated 2 years ago
- Bibtex parser for Python 3☆568Jun 12, 2026Updated 3 weeks ago
- An Infinitely Large Napkin☆1,909Updated this week
- A Lean companion to Analysis I☆1,800Jun 23, 2026Updated last week
- Lean 3 Theorem Prover (community fork)☆432Oct 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- GearNet and Geometric Pretraining Methods for Protein Structure Representation Learning, ICLR'2023 (https://arxiv.org/abs/2203.06125)☆322Jun 13, 2025Updated last year
- Converts Microsoft Word docx to LaTeX☆664Updated this week
- DiffLinker: Equivariant 3D-Conditional Diffusion Model for Molecular Linker Design☆389Apr 17, 2024Updated 2 years ago
- LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.☆1,278Jun 26, 2026Updated last week
- amateur translation project of Grothendieck's EGA.☆395Jun 24, 2026Updated last week
- Interactive Linear Algebra☆765May 1, 2026Updated 2 months ago
- Implementation for SE(3) diffusion model with application to protein backbone generation☆423Jul 3, 2023Updated 3 years ago