nathancarter / group-explorerView external linksLinks
Group theory visualization software in the browser
☆275Mar 17, 2024Updated last year
Alternatives and similar repositories for group-explorer
Users that are interested in group-explorer are comparing it to the libraries listed below
Sorting:
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- Design, play with, and analyze sequent calculus proof systems.☆14Sep 5, 2024Updated last year
- Here we give programs that check if Turing machines halt or not.☆15Sep 1, 2025Updated 5 months ago
- A type theory for tiny objects☆19Dec 12, 2023Updated 2 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆420Jan 28, 2026Updated 2 weeks ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 9 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 9 years ago
- Project exploring 3D volumetric rendering of NEXRAD radar data.☆11Oct 23, 2023Updated 2 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Nov 12, 2020Updated 5 years ago
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆938Updated this week
- A compilation-friendly fexpr language. (Proof of concept.)☆23Sep 2, 2025Updated 5 months ago
- Interactive Theorem Proving for students☆20Aug 26, 2023Updated 2 years ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 2 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- A notional machine for the SMoL languages☆21Sep 12, 2023Updated 2 years ago
- Open textbook on modal logic☆24Jul 1, 2025Updated 7 months ago
- Formalisation of a capability machine and principles for reasoning about security properties☆25Jul 4, 2025Updated 7 months ago
- The agda-unimath library☆284Updated this week
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- Awesome Geometric Algebra☆29Jul 11, 2020Updated 5 years ago
- CQL: Categorical Query Language implementation in Haskell☆182Apr 14, 2023Updated 2 years ago
- ☆13Jan 7, 2026Updated last month
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 3 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 7 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 9 years ago
- see github.com/understanding-search/maze-transformer☆10Dec 8, 2023Updated 2 years ago
- Scheme libraries written or packaged for R7RS implementations☆13Apr 7, 2018Updated 7 years ago