首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, LaTeX docs and PDF docs inside.
☆19Nov 21, 2018Updated 7 years ago
Alternatives and similar repositories for category-theory-seminar-notes-cnu-2018
Users that are interested in category-theory-seminar-notes-cnu-2018 are comparing it to the libraries listed below
Sorting:
- SIGPLAN website☆13Updated this week
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- Temporal Pathway Synthesizer☆17Jun 28, 2024Updated last year
- 本代码是用来重复Vortex pinning by the point potential in topological superconductors:A scheme for braiding Majorana bound states论文中关于Majorana费米子在…☆13Nov 7, 2024Updated last year
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Mar 26, 2022Updated 3 years ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 9 years ago
- Learning platform for category theory in python☆17Updated this week
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- Category Theory Framework☆17Feb 24, 2026Updated last week
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Sep 21, 2022Updated 3 years ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 2 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆44Dec 20, 2025Updated 2 months ago
- 非常的新鲜，非常的美味☆32Mar 25, 2025Updated 11 months ago
- Tools I have been using for working with the Uber H3 library and the ArcGIS Python API.☆10Jun 28, 2021Updated 4 years ago
- TestStand Semiconductor Module Python API☆15May 7, 2025Updated 10 months ago
- 十分钟魔法练习 in OCaml☆37Mar 31, 2022Updated 3 years ago
- Project exploring 3D volumetric rendering of NEXRAD radar data.☆11Oct 23, 2023Updated 2 years ago
- ☆44Jul 25, 2018Updated 7 years ago
- Modeling and Analysis of Superconducting Quantum Circuits☆13Feb 22, 2021Updated 5 years ago
- Material parsers and other tools, scripts Initially developed for Grobid Superconductor☆13Feb 21, 2025Updated last year
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- Evolutionary Game Theory Simulator☆10Jun 8, 2018Updated 7 years ago
- ☆11Jan 14, 2026Updated last month
- Stacking Machine Learning Models. Tunning; feature engineering, scaling, models combinations and parameters.☆11Oct 4, 2020Updated 5 years ago
- Thermodynamics powered by Machine Learning☆11May 7, 2021Updated 4 years ago
- This is program of recursive descent parser using Python programming language.☆10Jan 26, 2021Updated 5 years ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- A command-line tool to check binary file committed to a repo.☆11Jan 23, 2021Updated 5 years ago
- This project focuses on using deep learning to replace text in images while retaining the same font and style.☆10Dec 9, 2019Updated 6 years ago
- A list of various articles that I find helpful for reading about deep learning, forecasting, or macroeconomics☆16May 8, 2018Updated 7 years ago
- A Windy plugin that shows sun and moon positions on the map and gives details about sunset and sunrise times as well as other sun and moo…☆12Jun 10, 2025Updated 8 months ago
- A PowerShell module for creating and removing Loopback Network Adapters on Windows using Device Conslole (DevCon.exe)☆15Feb 26, 2021Updated 5 years ago
- 前端杂烩，记录我脱离低级趣味的点点滴滴☆11Nov 15, 2021Updated 4 years ago
- Rainfuck is a brainfuck interpreter and JIT compiler implemented in Rust.☆34Jan 6, 2016Updated 10 years ago
- Coq集合论中文教程☆46Dec 17, 2021Updated 4 years ago
- ☆10Jun 11, 2022Updated 3 years ago
- A short intro to Rust course, based loosely off the book.☆15Jan 29, 2026Updated last month
- Implementation of Variance Reduction Techniques in Julia☆11Sep 6, 2016Updated 9 years ago