Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017
☆18Nov 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- notes on topos theory (Chinese)☆18Nov 28, 2024Updated last year
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- Solutions to Ireland, Rosen exercises in "A Classical Introduction to Modern Number Theory"☆14Nov 7, 2024Updated last year
- 代数基本观念☆32Updated this week
- A transpiler that converts TeX into Unicode (as possible).☆21Mar 5, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- My solutions to either class-assigned problems, problems I've found in books, or problem sets that I thought were interesting.☆19Mar 8, 2026Updated 3 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆50Dec 22, 2025Updated 5 months ago
- Algebraic Combinatorics in Coq☆38Jan 25, 2026Updated 4 months ago
- Course notes for Cyber Security (THUCST 2023 Spring)☆31Jun 11, 2023Updated 3 years ago
- Lemonbar wrapper for i3wm☆34Jul 19, 2020Updated 5 years ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 11 years ago
- A Swift library to write parsers for domain specific languages.☆15Nov 3, 2020Updated 5 years ago
- Notes from Andrew Blumberg's class on equivariant homotopy theory☆17Aug 19, 2025Updated 9 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆71Jun 1, 2026Updated last week
- ☆14Sep 7, 2025Updated 9 months ago
- Lecture notes on realizability☆76Feb 21, 2025Updated last year
- Course notes for Pure Mathematics Topic D 2019☆53Apr 6, 2020Updated 6 years ago
- amateur translation project of Grothendieck's EGA.☆394Apr 28, 2026Updated last month
- Here is a part of notes of the mathematics classes of CFMATH/in USTC during my undergraduate period.☆18Jan 3, 2026Updated 5 months ago
- lecture notes that I wished were available somewhere☆17Dec 6, 2022Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆62Apr 16, 2026Updated last month
- 单纯群精华信息汇总☆19Dec 13, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆23Mar 29, 2023Updated 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☆22Apr 6, 2025Updated last year
- The c compiler optimized for speed written in MoonBit☆44Mar 5, 2026Updated 3 months ago
- TeX Live with MSVC☆15Aug 13, 2025Updated 9 months ago
- Logic and Mechanized Reasoning☆116Jan 11, 2026Updated 5 months ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆18Jun 25, 2022Updated 3 years ago
- Universal assembler for TPT computers☆21Apr 21, 2026Updated last month
- 火狐客制化☆22Apr 4, 2025Updated last year
- 泛函分析讲义(许全华)习题参考答案☆63Apr 4, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Web Interface for SCP crawler database☆19Apr 9, 2024Updated 2 years ago
- Repository for the Stacks Project☆1,024Jun 3, 2026Updated last week
- ☆21May 23, 2023Updated 3 years ago
- Effective Algebraic Topology in Haskell☆94Sep 13, 2024Updated last year
- yggdrasil compiler with rust runtime☆26Nov 21, 2025Updated 6 months ago
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆35Updated this week
- A collection of LaTeX thesis template for students at City University of Hong Kong.☆22Jun 14, 2025Updated 11 months ago