The Universal Algebra Calculator
☆16Jun 11, 2022Updated 3 years ago
Alternatives and similar repositories for uacalcsrc
Users that are interested in uacalcsrc are comparing it to the libraries listed below
Sorting:
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆15Oct 1, 2021Updated 4 years ago
- lazy continued fractions☆19Aug 5, 2015Updated 10 years ago
- Continued fraction library☆32Jul 16, 2020Updated 5 years ago
- ☆19Nov 23, 2025Updated 3 months ago
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- A LaTeX template for writing a thesis at CU Boulder☆12Apr 2, 2024Updated last year
- Overcooked! 2 TAS Development Framework☆10Aug 18, 2023Updated 2 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- Web-based svg editor with plugin-centric architecture☆32Updated this week
- Chess + fairy chess + atomic chess + custom rules/boards/pieces + AI☆12Mar 5, 2019Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- The chat back-end for destiny.gg, written in Go, based on Golem (github.com/trevex/golem)☆12May 22, 2021Updated 4 years ago
- A CLI-based API-like tool that enables program access to perchance.org's AI Image Generator via calls to webapp's API☆10Dec 26, 2023Updated 2 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- ☆48Jul 5, 2019Updated 6 years ago
- Web based opetopic editor☆37Oct 21, 2024Updated last year
- Make WinRM service calls from NodeJS☆11Jan 4, 2023Updated 3 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Jun 16, 2022Updated 3 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- TTK website☆11Jan 8, 2026Updated last month
- Cayley Dickson algebra implementation in python☆12Jan 3, 2019Updated 7 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- Source code for the frontend of chesshq.com☆11Apr 29, 2022Updated 3 years ago
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- HBCD/Programs/Files☆14Jan 20, 2018Updated 8 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- fast unique variables☆10Aug 23, 2025Updated 6 months ago
- ☆12May 9, 2015Updated 10 years ago
- A collection of Leech lattice decoders.☆12Nov 17, 2016Updated 9 years ago
- In-memory distributed graph processing of trivially parallelizable graph algorithms.☆22Apr 17, 2013Updated 12 years ago
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 5 months ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- ☆14Dec 12, 2023Updated 2 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago