Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017
☆17Nov 4, 2021Updated 4 years ago
Alternatives and similar repositories for AlgebraFranke
Users that are interested in AlgebraFranke are comparing it to the libraries listed below
Sorting:
- notes on topos theory (Chinese)☆15Nov 28, 2024Updated last year
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- 代数基本观念☆15Mar 10, 2025Updated 11 months ago
- A transpiler that converts TeX into Unicode (as possible).☆20Jan 26, 2026Updated last month
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- Solutions to Ireland, Rosen exercises in "A Classical Introduction to Modern Number Theory"☆13Nov 7, 2024Updated last year
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 10 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆68Updated this week
- A Swift library to write parsers for domain specific languages.☆15Nov 3, 2020Updated 5 years ago
- Here is a part of notes of the mathematics classes of CFMATH/in USTC during my undergraduate period.☆16Jan 3, 2026Updated 2 months ago
- lecture notes that I wished were available somewhere☆16Dec 6, 2022Updated 3 years ago
- ☢️ Bring the post-apocalyptic charm of Fallout's Pip-Boy to your wrist with this custom watchface for the Mi Band 8☆18Apr 6, 2025Updated 10 months ago
- ☆14Sep 7, 2025Updated 5 months ago
- TeX Live with MSVC☆15Aug 13, 2025Updated 6 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Feb 13, 2026Updated 2 weeks ago
- 单纯群精华信息汇总☆20Dec 13, 2024Updated last year
- The c compiler optimized for speed written in MoonBit☆40Feb 13, 2026Updated 2 weeks ago
- My solutions to either class-assigned problems, problems I've found in books, or problem sets that I thought were interesting.☆19Feb 7, 2021Updated 5 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Jun 25, 2022Updated 3 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Mar 29, 2023Updated 2 years ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆54Dec 29, 2025Updated 2 months ago
- Web Interface for SCP crawler database☆18Apr 9, 2024Updated last year
- Prototype of a command line argument parser with several opposite design goals from clap.☆45Nov 25, 2025Updated 3 months ago
- yggdrasil compiler with rust runtime☆26Nov 21, 2025Updated 3 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆26Sep 15, 2025Updated 5 months ago
- ☆21May 23, 2023Updated 2 years ago
- 火狐客制化☆23Apr 4, 2025Updated 10 months ago
- 数学字体，而非数学符号字体。Math font, not just plain math symbols.☆23Jan 13, 2025Updated last year
- preview your typst document in instant☆28Apr 16, 2023Updated 2 years ago
- Madlib language compiler☆27Feb 16, 2026Updated 2 weeks ago
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习 。乐正垂星的B站主页：https://space.bilibili.com/2057313067☆106Sep 2, 2023Updated 2 years ago
- A list of blocks in MCPE (public domain)☆28Jul 1, 2018Updated 7 years ago
- ☆34Jan 18, 2026Updated last month
- A collection of LaTeX thesis template for students at City University of Hong Kong.☆21Jun 14, 2025Updated 8 months ago
- syntax highligher for GkdTeX☆25Dec 7, 2020Updated 5 years ago
- ☆42May 29, 2025Updated 9 months ago
- H.O.T.T. using rewriting in Agda☆46Sep 18, 2022Updated 3 years ago
- Sources of the book “Problems for children from 5 to 15” by V. I. Arnold☆32Jul 20, 2022Updated 3 years ago
- Let's translate works of Grothendieck☆33Aug 13, 2019Updated 6 years ago