SemiObserver/Category-theory-materials external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

SemiObserver/Category-theory-materials

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/SemiObserver/Category-theory-materials)

Close

SemiObserver / Category-theory-materialsView on GitHubMore

• External links
• Readme badge

非常的新鲜，非常的美味

☆32Mar 25, 2025Updated 11 months ago

Alternatives and similar repositories for Category-theory-materials

Users that are interested in Category-theory-materials are comparing it to the libraries listed below

• TheCedarPrince / LuxCat.jl

  View on GitHub
  Using Luxor.jl to design common diagrams found in Category Theory 🐱
  ☆13Mar 26, 2022Updated 3 years ago
• piellardj / non-circular-gears

  View on GitHub
  Non-circular gears generator. Rendered with SVG.
  ☆14Feb 10, 2024Updated 2 years ago
• okomok / strcat

  View on GitHub
  TeX files for summary of category theory
  ☆15Apr 9, 2016Updated 9 years ago
• YiCChi / functional-programming

  View on GitHub
  Introduction to Functional Programming using TypeScript and fp-ts.
  ☆18May 23, 2025Updated 9 months ago
• haotianbo / PL0-Compiler

  View on GitHub
  Compiler written for PL0 programming Language. Written in C, for COP3402 class from UCF.
  ☆17Mar 31, 2016Updated 9 years ago
• piood / MySysY2RV

  View on GitHub
  北大编译课程实践，独立完成的C语言子集SysY编译器，实现了从C语言编译到Koopa IR，再从Koopa IR编译到RISC-V汇编的实现
  ☆34Jul 16, 2024Updated last year
• MargeritPierre / ESPRIT

  View on GitHub
  A generalized ESPRIT algorithm for MATLAB
  ☆15Jan 28, 2021Updated 5 years ago
• LighghtEeloo / magic-in-ten-mins-ml

  View on GitHub
  十分钟魔法练习 in OCaml
  ☆37Mar 31, 2022Updated 3 years ago
• wenweili / Modulform

  View on GitHub
  Introduction to Modular Forms: A Chinese textbook about modular forms
  ☆79Nov 11, 2025Updated 3 months ago
• CarbonicX / HyperFuck

  View on GitHub
  一款可读性为零的语言
  ☆34Oct 19, 2023Updated 2 years ago
• himeinhardt / TuGames

  View on GitHub
  A Mathematica Package for Cooperative Game Theory
  ☆11Jun 6, 2024Updated last year
• WolframChinaWL / SymbolicComputation

  View on GitHub
  ☆11Dec 30, 2020Updated 5 years ago
• Stellaris-Immortal / retile

  View on GitHub
  Repository for Stellaris Immortal alpha
  ☆17May 9, 2020Updated 5 years ago
• SIGPLAN / SIGPLAN.github.io

  View on GitHub
  SIGPLAN website
  ☆13Updated this week
• Founderroni / OP-EX-Mindustry-Mod

  View on GitHub
  ☆16Oct 24, 2021Updated 4 years ago
• ishu3101 / open-with-overleaf

  View on GitHub
  A Google Chrome extension to open/edit latex files online using www.overleaf.com without the need of any software to be installed.
  ☆10Dec 16, 2016Updated 9 years ago
• joaocmd / vxTwitterBot

  View on GitHub
  A Discord bot that replaces twitter URLs with vxtwitter for videos and GIFs.
  ☆13Feb 25, 2023Updated 3 years ago
• wuzhizhe / DownloadDoubanEbook

  View on GitHub
  下载豆瓣电子书
  ☆10Apr 25, 2017Updated 8 years ago
• lifpan / llvm_essentials_cn

  View on GitHub
  LLVM Essentials 中文版
  ☆12Feb 18, 2025Updated last year
• choukh / MetaZF

  View on GitHub
  Coq集合模型论
  ☆11Aug 18, 2022Updated 3 years ago
• euphoricrhino / cg

  View on GitHub
  arbitrary precision clebsch-gordan coefficients for SO(3)
  ☆14Apr 5, 2023Updated 2 years ago
• kubaPod / MPM

  View on GitHub
  Additional features supporting paclets in Mathematica
  ☆15Oct 3, 2017Updated 8 years ago
• fgdorais / lean4-unicode-basic

  View on GitHub
  Basic Unicode support for Lean 4
  ☆15Updated this week
• negibokken / toyscopy

  View on GitHub
  A toy browser written in C++.
  ☆10Jan 9, 2021Updated 5 years ago
• ZenMule / Praat_Scripting_Tutorial

  View on GitHub
  Praat scripting入门
  ☆15Apr 8, 2025Updated 10 months ago
• AtheMathmo / toy-os

  View on GitHub
  Building a toy OS in Rust.
  ☆13Sep 14, 2016Updated 9 years ago
• epirecipes / EpiCats

  View on GitHub
  Applied category theory applied to epidemiological models
  ☆12Aug 7, 2024Updated last year
• glotzerlab / ovito-scripts

  View on GitHub
  A collection of scripts for pairing OVITO with freud and other Glotzer lab packages
  ☆16Feb 9, 2026Updated 3 weeks ago
• kimhyunkang / r5.rs

  View on GitHub
  Scheme implementation written in Rust
  ☆35Jan 22, 2015Updated 11 years ago
• TysonRayJones / PythonTools

  View on GitHub
  Tools I've written in Python which are useful/necessary for my research
  ☆10Jul 3, 2018Updated 7 years ago
• project-numina / LeanGeo

  View on GitHub
  Solving Competition Geometry Problems in Lean
  ☆31Aug 26, 2025Updated 6 months ago
• DiffMu / DiffPrivacyInference.jl

  View on GitHub
  A program to automatically infer differential privacy properties of your julia source code.
  ☆12May 12, 2022Updated 3 years ago
• Physics-Lee / Compu-Physi-2024-Fall

  View on GitHub
  Computational Physics B at USTC, 2024 Fall.
  ☆14Feb 25, 2026Updated last week
• blueset / blueset

  View on GitHub
  GitHub Profile Frontpage
  ☆12May 30, 2024Updated last year
• LegionMammal978 / Mthmtca

  View on GitHub
  A version of Mathematica for golfing purposes.
  ☆11Apr 1, 2024Updated last year
• mbjpxncp7k / KardarSPoP-CHS

  View on GitHub
  ☆11Jul 17, 2023Updated 2 years ago
• kenkangxgwe / Matypetica

  View on GitHub
  A Type System Attempt for Wolfram Language
  ☆13Feb 28, 2021Updated 5 years ago
• ikheu / point_reactor

  View on GitHub
  基于一阶泰勒展开的点堆中子动力学方程求解程序
  ☆16Mar 18, 2019Updated 6 years ago
• Mooling0602 / MatrixSync-MCDR

  View on GitHub
  A MCDR (full name "MCDReforged") plugin sync messages between online game and Matrix groups.
  ☆11May 18, 2025Updated 9 months ago