Learning platform for category theory in python
☆17Updated this week
Alternatives and similar repositories for category-theory-python
Users that are interested in category-theory-python are comparing it to the libraries listed below
Sorting:
- ☆13Feb 13, 2026Updated 2 weeks ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- ERC721 變體測試（ERC721, ERC721A, ERC721Solmate, ERC721Psi ...）☆10Jul 18, 2022Updated 3 years ago
- A framework to compress classical machine learning model during training by quantum machine learning☆19Aug 1, 2024Updated last year
- Code examples for "Under the hood of calling C/C++ from Python"☆13Sep 16, 2020Updated 5 years ago
- NTU Summer Course: Intro to Quantum Computing (PLEASE READ README!)☆14Aug 19, 2019Updated 6 years ago
- A Riks arclength solver implemented in FEniCS☆14Jan 8, 2026Updated last month
- Macro-micro heat conduction using partitioned coupling☆13Jun 28, 2023Updated 2 years ago
- Personal PKGBUILDs☆17Feb 17, 2026Updated last week
- ACT community resources☆26Oct 3, 2019Updated 6 years ago
- Pytorch implementation of the deepforest model for tree crown RGB detection.☆17Jun 6, 2021Updated 4 years ago
- ☆11Feb 3, 2026Updated 3 weeks ago
- Category Theory Framework☆17Updated this week
- A software for solving problems in cardiac mechanics☆17Updated this week
- FEniCS code for inverse FEM hyper-elasticity☆21Mar 26, 2022Updated 3 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Nov 21, 2018Updated 7 years ago
- Turn dataclasses into not-dataclasses☆23Jun 18, 2022Updated 3 years ago
- Cours d'introduction au langage Python, inspiré du tutoriel Python traduit en français.☆10Jan 14, 2022Updated 4 years ago
- Scientific finite element toolbox☆32Updated this week
- Path integral based convolution and pooling☆30Feb 16, 2023Updated 3 years ago
- Evaluation of semi-supervised learning on challenging datasets☆38Dec 21, 2021Updated 4 years ago
- SciCount is tool focused on counting and classifying of objects in image-like data and scientific images, with training and example datas…☆11Oct 24, 2023Updated 2 years ago
- An R package containing the functions for the Open Bodem Index (OBI)☆13Feb 11, 2026Updated 2 weeks ago
- scripts for automating grading with GitHub Classroom and Moodle☆11May 18, 2020Updated 5 years ago
- NeurIPS 2022: Tree Mover’s Distance: Bridging Graph Metrics and Stability of Graph Neural Networks☆37Aug 4, 2023Updated 2 years ago
- Guia rápida de instalación de ArchLinux en modo UEFI☆10Apr 11, 2025Updated 10 months ago
- ParaAntiProt: Paratope Prediction Using Antibody and Protein Language Models☆10Jul 16, 2024Updated last year
- Some microbenchmarks and design docs before commencement☆12Feb 1, 2021Updated 5 years ago
- Code for paper "Learning Semantically Enhanced Feature for Fine-grained Image Classification"☆34Aug 30, 2020Updated 5 years ago
- A software package for analyzing Calabi-Yau manifolds.☆38Feb 9, 2026Updated 2 weeks ago
- VSC user training material and documentation☆10Updated this week
- gpm is a tool for managing Go projects.☆11May 18, 2019Updated 6 years ago
- A PowerShell module for creating and removing Loopback Network Adapters on Windows using Device Conslole (DevCon.exe)☆15Feb 26, 2021Updated 5 years ago
- This is the official repository of The Open LaTeX Project☆13Oct 15, 2020Updated 5 years ago
- Domain-agnostic Outlier Ranking Algorithms (DORA) - SMD cross-divisional use case demonstration of AI/ML☆13Jul 31, 2025Updated 7 months ago
- Modeling and Analysis of Superconducting Quantum Circuits☆13Feb 22, 2021Updated 5 years ago
- This place provide different SRAM cells netlist to be simulated with HSpice tool in sub-20nm FinFET technologies.☆12Dec 31, 2020Updated 5 years ago
- A deformable CNN model that accepts multiple sensor inputs and predicts multiple continuous plant trait outputs. SOTA on the 2021 Autonom…☆11Jun 30, 2022Updated 3 years ago
- This is program of recursive descent parser using Python programming language.☆10Jan 26, 2021Updated 5 years ago