UACalc / uacalcsrcView external linksLinks
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
- ☆20Nov 23, 2025Updated 2 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
- The chat back-end for destiny.gg, written in Go, based on Golem (github.com/trevex/golem)☆12May 22, 2021Updated 4 years ago
- Chess + fairy chess + atomic chess + custom rules/boards/pieces + AI☆12Mar 5, 2019Updated 6 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- Web based opetopic editor☆36Oct 21, 2024Updated last year
- ☆48Jul 5, 2019Updated 6 years ago
- A collection of Leech lattice decoders.☆11Nov 17, 2016Updated 9 years ago
- Source code for the frontend of chesshq.com☆11Apr 29, 2022Updated 3 years ago
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- Highly concurrent and fast content processing for Mighty Inference Server☆10Feb 6, 2023Updated 3 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- Extract snippets from code specified by comments.☆11Oct 22, 2024Updated last year
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- TTK website☆11Jan 8, 2026Updated last month
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Jun 16, 2022Updated 3 years ago
- Tools for computing quasinormal modes in Schwarzschild and Kerr spacetime☆12Sep 14, 2025Updated 5 months ago
- ☆14Dec 12, 2023Updated 2 years ago
- Visualize NFA and DFA constructed from regular exrepssion☆18Feb 10, 2017Updated 9 years ago
- A continuation of the original Logisim circuit simulator by Carl Burch.☆11Apr 9, 2021Updated 4 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- Cayley Dickson algebra implementation in python☆12Jan 3, 2019Updated 7 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- In-memory distributed graph processing of trivially parallelizable graph algorithms.☆22Apr 17, 2013Updated 12 years ago
- Make WinRM service calls from NodeJS☆11Jan 4, 2023Updated 3 years ago