Solutions to Algebra, by Michael Artin.
☆35Dec 6, 2016Updated 9 years ago
Alternatives and similar repositories for artin-algebra
Users that are interested in artin-algebra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- KANs and MLPs☆12Jun 7, 2024Updated last year
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago
- My animations for my videos☆12Jan 26, 2019Updated 7 years ago
- Open files with external programs☆15Feb 17, 2020Updated 6 years 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 minimalist Neovim configuration☆11Mar 23, 2026Updated 2 months ago
- A solutions manual for Set Theory by Thomas Jech☆14Aug 12, 2018Updated 7 years ago
- IOI 2020 集训队作业☆26Jan 3, 2020Updated 6 years ago
- BZOJ题解合集，欢迎提交PR☆13Apr 13, 2018Updated 8 years ago
- ☆12Jan 26, 2016Updated 10 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- ☆27Sep 23, 2020Updated 5 years ago
- My personal dotfiles and settings☆15Mar 31, 2026Updated last month
- ☆12Dec 31, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- cbraid/braiding are C++ libraries for computations on braid groups☆11Mar 24, 2026Updated 2 months ago
- Polynomial Matrix Library. Additions to NTL and FLINT libraries, with a focus on univariate polynomial matrices, structured matrices, and…☆26Updated this week
- 利用 docker 快速建立 pgadmin4、Linux install pgadmin4☆12Apr 7, 2024Updated 2 years ago
- A simple native gStreamer GUI for screencast, webcam, and audio streaming☆14Oct 31, 2018Updated 7 years ago
- ☆58Feb 24, 2026Updated 3 months ago
- Quotations for oi☆37May 7, 2024Updated 2 years ago
- D competition Library☆13Jun 26, 2019Updated 6 years ago
- Astrovim colorscheme and its darker version☆12May 24, 2023Updated 3 years ago
- Variational Reinforcement Learning☆17Jul 25, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- P.D. Magnus' forallx logic textbook☆70Mar 30, 2025Updated last year
- ☆15May 24, 2025Updated last year
- ☆12Nov 1, 2020Updated 5 years ago
- Scalable Computation of Hessian Diagonals☆14Jun 2, 2024Updated last year
- Python scripts to read a Portuguese Wikipedia XML dump file, parse it and generate plain text files.☆14Mar 12, 2014Updated 12 years ago
- Bill Yang's algorithm & data structure templates☆14Aug 18, 2020Updated 5 years ago
- Script to install ArchLinux☆18Dec 7, 2021Updated 4 years ago
- ☆19Jul 19, 2018Updated 7 years ago
- ☆18Feb 28, 2025Updated last year
- 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.
- A command-line OI contest judge for linux☆13Jun 20, 2019Updated 6 years ago
- 为 OI 赛制设计的简易评测环境。☆16Apr 21, 2019Updated 7 years ago
- My Neovim config☆22May 12, 2026Updated 2 weeks ago
- Eufy Security iOS app for displaying camera and door sensors on a dashboard, with auto-refresh.☆12Aug 11, 2022Updated 3 years ago
- Analyzing different ML model comparison metrics☆17Jan 20, 2024Updated 2 years ago
- ☆11Apr 27, 2026Updated last month
- A hybrid Java/Python desktop app that collects regional Uber/Lyft driver information in real-time☆10Sep 16, 2017Updated 8 years ago