nameiwillforget / hegel-in-mathematicsView external linksLinks
My exposition of the formalization of Hegel's theory in modal homotopy type theory
☆14Aug 18, 2023Updated 2 years ago
Alternatives and similar repositories for hegel-in-mathematics
Users that are interested in hegel-in-mathematics are comparing it to the libraries listed below
Sorting:
- Description and analysis of some mathematical/physics phenomena by using simulation☆19Apr 21, 2024Updated last year
- Reasonable Python is a module which adds F-Logic to Python☆26Jul 5, 2011Updated 14 years ago
- Neural Network approaches for the Traveling Salesman Problem☆10Apr 20, 2021Updated 4 years ago
- My SMW workspace for all of my public stuff. Contributions via pull requests are welcome!☆10Jan 24, 2025Updated last year
- Code for "Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks"☆12Nov 25, 2021Updated 4 years ago
- Collation algorithm for Tibetan☆10Jul 17, 2015Updated 10 years ago
- ☆11Jun 24, 2022Updated 3 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 4 months ago
- State Machine Compiler☆15Jan 27, 2009Updated 17 years ago
- ☆10Apr 27, 2022Updated 3 years ago
- Rust on the Quansheng UV-K5 Radio☆10Jul 9, 2024Updated last year
- Glitch the virtual façade of any website!☆10Jan 7, 2025Updated last year
- An Anki addon for pulling flashcard data (one-way sync) from XML. Optimized for LIFT XML (from WeSay or FLEx). [This is now the official …☆10Feb 2, 2026Updated 2 weeks ago
- An open source, ASP.NET Core 2.0 journaling web app with books, chapters, a markdown editor, & photo/file uploader.☆11Mar 29, 2022Updated 3 years ago
- An arduino video game console that uses cartridges and has the same size as a standard business card☆12Aug 19, 2021Updated 4 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated last year
- Remember the songs you heard and analyse your listening patterns☆16Sep 15, 2024Updated last year
- Dry::Types railties☆11Aug 22, 2016Updated 9 years ago
- ☆10Jul 15, 2016Updated 9 years ago
- ☆10Feb 27, 2024Updated last year
- WavSpA: Wavelet Space Attention for Enhancing Transformer's Long Sequence Learning☆12Feb 24, 2024Updated last year
- ☆11Oct 31, 2020Updated 5 years ago
- poradnik studiowania☆11Dec 1, 2025Updated 2 months ago
- A Neovim plugin to run the current filetype.☆10Jun 22, 2023Updated 2 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆13Jan 5, 2026Updated last month
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Feb 28, 2015Updated 10 years ago
- ☆12Aug 11, 2018Updated 7 years ago
- ☆12Oct 18, 2022Updated 3 years ago
- MCP server which allow LLM in agent mode to analyze image whenever it needs☆18Aug 23, 2025Updated 5 months ago
- Like `pbcopy` but for LLM prompt building 🏗️☆12Oct 25, 2024Updated last year
- Zclassic Official Website - https://zclassic.org☆11Jul 30, 2022Updated 3 years ago
- Watches for change in your maildir, and runs mbsync when change are found.☆18Jul 23, 2014Updated 11 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- Program multiple nRF5 devices concurrently with this nrfjprog inspired python module/exe☆11May 23, 2018Updated 7 years ago
- Mycobacterium tuberculosis complex lineage typing☆10Jun 22, 2025Updated 7 months ago
- Mycobacterial pipeline☆11Sep 11, 2025Updated 5 months ago