adebray / equivariant_homotopy_theoryView external linksLinks
Notes from Andrew Blumberg's class on equivariant homotopy theory
☆17Aug 19, 2025Updated 5 months ago
Alternatives and similar repositories for equivariant_homotopy_theory
Users that are interested in equivariant_homotopy_theory are comparing it to the libraries listed below
Sorting:
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- Latex package to print spectral sequence diagrams using pgf/tikz.☆11Jan 18, 2026Updated 3 weeks ago
- CoDi: Commutative Diagrams for TeX☆31Jul 22, 2025Updated 6 months ago
- Course of Machine Learning for Biomedical Data -TECNUN University of Navarra☆12Mar 6, 2025Updated 11 months ago
- Tutorial for Liqvid☆48Mar 13, 2023Updated 2 years ago
- Part III Maths notes for 2018-19☆20Aug 8, 2022Updated 3 years ago
- Math-specific tutorial/sample project for Liqvid☆22Aug 21, 2022Updated 3 years ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- A comparative analysis of 4 ML algorithms. This Hypertension Risk Prediction Model can be described as a machine learning model designed …☆11Jan 25, 2024Updated 2 years ago
- This is a cross platform C++ project to compute and maintain spectral sequences based on sqlite3 databases and the algorithms on Groebner…☆10Jan 30, 2026Updated 2 weeks ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- Drug Response Prediction and Biomarker Discovery Using Multi-Modal Deep Learning☆14Apr 24, 2024Updated last year
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 3 months ago
- Check the full research paper: https://ietresearch.onlinelibrary.wiley.com/doi/10.1049/htl2.12039☆11Nov 20, 2023Updated 2 years ago
- ☆12Jan 27, 2023Updated 3 years ago
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 5 years ago
- coding exercise using TCGA immune infiltration data☆11Feb 2, 2024Updated 2 years ago
- An async-friendly streaming parser for geonames data.☆12Nov 2, 2015Updated 10 years ago
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…☆13Aug 6, 2025Updated 6 months ago
- INTEND (IntegratioN of Transcriptomic and EpigeNomic Data), a novel algorithm for integrating gene expression and DNA methylation dataset…☆12Dec 12, 2022Updated 3 years ago
- プログラミング de 落書きで公開しているコードを共有します☆24Updated this week
- Self service portal for aws workspace☆10Dec 10, 2023Updated 2 years ago
- ☆10Dec 24, 2021Updated 4 years ago
- Pump.fun Anchor SDK: IDL & CPI only Solana program (smart contract)☆15Dec 13, 2024Updated last year
- Website for www.ambitionfund.org, micro-grant program to provide support for underrepresented people who need financial assistance pursui…☆13Jan 6, 2023Updated 3 years ago
- This project is used to automatically grab the query results of ChatGPT in batches without manual input. And it supports automatic switch…☆14Feb 28, 2023Updated 2 years ago
- VS Code Extension for Markdown Preview to support including files☆12Dec 9, 2022Updated 3 years ago
- A grant application management web app☆10Mar 19, 2018Updated 7 years ago
- Converts ANTLR grammar .g4 files into EBNF for naive-ebnf LaTeX package; also converts to PDF later on☆11Feb 2, 2026Updated 2 weeks ago
- Tools to deploy a Polkadot/Kusama validator node.☆10Dec 27, 2024Updated last year
- ☆13Nov 24, 2025Updated 2 months ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- Compiles (La)TeX code to responsive SVGs☆11Apr 28, 2023Updated 2 years ago
- > Gemini Rust Suite 🦀: A powerful, modular Rust toolkit for interacting with Google Gemini. Features a feature-rich CLI, persistent sema…☆17Apr 23, 2025Updated 9 months ago
- Project layout for efficient AI for science☆12Sep 30, 2022Updated 3 years ago
- Command line interface for COAL cryptocurrency mining.☆11Jan 30, 2025Updated last year
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year