Long-form biographical essay on Hermann Grassmann, the 19th-century polymath who invented exterior algebra, exploring his life, mathematical discoveries, and themes of unrecognized genius
☆56Jun 7, 2024Updated 2 years ago
Alternatives and similar repositories for grassmann_article
Users that are interested in grassmann_article are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Some Thoughts on AI Alignment: Using AI to Control AI☆16Feb 25, 2025Updated last year
- Lamport's Bakery Algorithm Demonstrated in Python☆98Jan 19, 2024Updated 2 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆111Jan 24, 2024Updated 2 years ago
- Web app delivering 40Hz light and sound stimulation for gamma entrainment research☆29Jan 30, 2024Updated 2 years ago
- See the most influential users who have starred or forked a given repo (sorted by earned stars and follower count)☆23Aug 17, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The PERPL Compiler☆14Oct 17, 2025Updated 10 months ago
- ☆16May 8, 2024Updated 2 years ago
- Quickly render fractals in CUDA☆64Jul 26, 2025Updated last year
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆105Feb 23, 2024Updated 2 years ago
- ☆10Jan 7, 2024Updated 2 years ago
- ☆10Mar 4, 2024Updated 2 years ago
- ☆14Feb 3, 2025Updated last year
- Oblivious transfer library for rust☆11Dec 19, 2019Updated 6 years ago
- Database migrations for SQLite☆20Jun 14, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Randomized testing for Prolog à la QuickCheck☆23Jul 30, 2019Updated 7 years ago
- Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm☆176Feb 27, 2025Updated last year
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆16May 26, 2025Updated last year
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- Local release tool that reuses your GitHub Actions workflow YAML to build via nektos/act when CI queues are throttled, then uploads artif…☆42Updated this week
- Pipeline for processing FASTQ data from an Illumina MiSeq to genotype human RNA viruses like HIV and hepatitis C☆21Updated this week
- Cloud Benchmarker automates performance testing of cloud instances, offering insightful charts and tracking over time.☆39Aug 30, 2026Updated last week
- A library for decentralized private computation☆19Jul 21, 2021Updated 5 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.
- elliptic curve construction tool☆17Feb 24, 2023Updated 3 years ago
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 7 years ago
- LaTeX package to Do The Right Thing☆13Sep 8, 2021Updated 4 years ago
- Firmware and hardware description files for the Shruthi-1, an hybrid monosynth☆23Aug 10, 2017Updated 9 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆16Jul 24, 2026Updated last month
- A stupid waste of time that I enjoyed☆33Sep 4, 2025Updated last year
- 3-body simulator☆20Apr 23, 2024Updated 2 years ago
- Basic path tracing with WebGPU.☆10Jul 4, 2023Updated 3 years ago
- L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.☆30Aug 20, 2021Updated 5 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.
- PostgreSQL Prolog language handler☆134Apr 2, 2024Updated 2 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 4 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Apr 29, 2024Updated 2 years ago
- Network observer that tracks outbound connections from AI CLI processes (Claude Code, Codex, Gemini), attributing sockets to providers in…☆31Updated this week
- Generate language-bindings for Julia-generated shared libraries☆34Updated this week
- Automatically turn your SQLalchemy Data Models into a Nice SVG Diagram☆295Feb 27, 2025Updated last year
- Large lexicon for APE (~100,000 entries)☆34Nov 5, 2018Updated 7 years ago