A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra texts. The files are in LaTeX, and the main source file is algebra.tex.
☆86Jan 4, 2024Updated 2 years ago
Alternatives and similar repositories for concrete-algebra
Users that are interested in concrete-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:
- Repository for (for now) filing bug reports about PLAI.☆15Jul 5, 2025Updated 9 months ago
- An English translation of a problem course ("Trivium") in undergraduate maths☆10Jan 25, 2023Updated 3 years ago
- Canonical normalizing flows☆10Apr 30, 2019Updated 7 years ago
- In this repository I will put link of good stuffs about game design.☆15Apr 21, 2015Updated 11 years ago
- ☆19Jan 6, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Functional Programming in OCaml MOOC☆36Jan 6, 2020Updated 6 years ago
- Game in Haskell☆15Apr 20, 2026Updated last week
- First year calculus-based textbook☆29Aug 26, 2025Updated 8 months ago
- ☆18Nov 19, 2018Updated 7 years ago
- A DSL for parsing and assembling binary data.☆14Mar 2, 2026Updated last month
- Write great documents with markdown, then execute in the shell.☆10Sep 1, 2017Updated 8 years ago
- Projects using tikz and pgfplots.☆44Feb 11, 2026Updated 2 months ago
- MATLAB code for solving the Euclidean Distance Matrix completion problem.☆10Nov 20, 2017Updated 8 years ago
- BisPy - Python bisimulation library☆16Jan 21, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A custom git utility for managing file sizes in your git workflow.☆11Jan 17, 2022Updated 4 years ago
- A detailed guide to setting up a QEMU/KVM for gaming.☆12Nov 24, 2023Updated 2 years ago
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 2 years ago
- Evaluation dataset for Neural Point-Based Graphics☆12Dec 10, 2019Updated 6 years ago
- Public repository for Abstact Algebra Theory and Applications☆189Apr 14, 2026Updated 2 weeks ago
- Скрипт для Википедии, позволяющий выполнять ёфикацию статей в полуавтоматическом режиме☆16Apr 1, 2026Updated last month
- Moonli is a Julia/Python-ish syntax layer that transpiles to Common Lisp☆19Apr 20, 2026Updated last week
- A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.☆18Aug 28, 2023Updated 2 years ago
- ☆14Aug 31, 2017Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Website for Effective Computation in Physics☆35Oct 10, 2020Updated 5 years ago
- Collection of programming style guides used in Serokell☆12Jul 4, 2022Updated 3 years ago
- Lean 4 Metamath verifier☆23Dec 12, 2025Updated 4 months ago
- PYthon RAndom SAmpling for MEshes☆15Apr 6, 2026Updated 3 weeks ago
- Example of an autoencoder set up for spectrograms, using Theano and Lasagne☆12Jan 13, 2016Updated 10 years ago
- A python implementation of discrete optimal transport with a Tsallis entropy regularization.☆14Oct 23, 2023Updated 2 years ago
- Egraphs Modulo Theories☆18Jun 10, 2025Updated 10 months ago
- 我的 emacs 配置，主要配置了evil, magit, helm, latex, python 等环境.☆14Jul 22, 2021Updated 4 years ago
- ☆10Mar 13, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- xelatex book template☆74Jan 19, 2026Updated 3 months ago
- "A First Course in Linear Algebra" open source textbook☆71Apr 11, 2026Updated 2 weeks ago
- Verification tools for HardCaml☆10Jun 13, 2018Updated 7 years ago
- [WIP] Optics via the profunctor representation theorem☆20Dec 18, 2019Updated 6 years ago
- A disassembler framework☆19Sep 16, 2022Updated 3 years ago
- ☆56Mar 2, 2017Updated 9 years ago
- Firmware for the iSensor-SPI-Buffer (STM32F303) to enable full throughput buffered data capture on Analog Devices IMUs over SPI, USB (cli…☆10Nov 5, 2021Updated 4 years ago