sudgy / ganimView external linksLinks
A math animation engine based on geometric algebra
☆34Updated this week
Alternatives and similar repositories for ganim
Users that are interested in ganim are comparing it to the libraries listed below
Sorting:
- Formalization of Homotopy Type Theory for use in my Youtube videos☆16May 28, 2024Updated last year
- Web playground to try Scryer Prolog in your browser!☆16Nov 29, 2025Updated 2 months ago
- A fork of Jelly (recreational programming language inspired by J) that fixes bugs I have run into and extends the language.☆16May 27, 2024Updated last year
- A benchmark for Geometric Algebra libraries, library generators, and code optimizers.☆22Sep 22, 2021Updated 4 years ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- 夜鹭页录(YeluYelu)，记录夜鹭奇妙拟态的图鉴网站☆18Jun 3, 2025Updated 8 months ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- 🐥 Gallery viewer for https://github.com/cat-milk/Anime-Girls-Holding-Programming-Books☆12Updated this week
- SIGPLAN website☆13Jan 28, 2026Updated 2 weeks ago
- A book about functional programming in Lean☆45Feb 6, 2024Updated 2 years ago
- Fast, lightweight and cross-platform code-editor☆13Jan 31, 2026Updated 2 weeks ago
- Intel oneAPI RenderKit CMake superbuild☆12Jan 13, 2026Updated last month
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 3 years ago
- Run Dyalog APL under Docker☆11Dec 18, 2025Updated last month
- ☆10May 18, 2024Updated last year
- The TextWorld KG Dataset from the paper Building Dynamic Knowledge Graphs from Text-based Games☆10Mar 11, 2020Updated 5 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- ☆13Aug 13, 2023Updated 2 years ago
- ☆10May 24, 2021Updated 4 years ago
- Array Based Half-Facet (AHF) Mesh Data Structure (for simplex meshes)☆10Aug 29, 2020Updated 5 years ago
- A hackable library for running and fine-tuning modern transformer models on commodity and alternative GPUs, powered by tinygrad.☆27Nov 27, 2025Updated 2 months ago
- A utility to manage HTTP requests from APL☆12Updated this week
- APL language server, implements Microsoft LSP for APL☆14May 18, 2019Updated 6 years ago
- ot-coq☆17Sep 5, 2023Updated 2 years ago
- A compilation of BQN solutions to various coding challenges.☆12Updated this week
- Difference calculations for the terminal☆12Dec 27, 2023Updated 2 years ago
- wtf is a computer pls help☆18Jan 7, 2026Updated last month
- ☆20Feb 4, 2026Updated last week
- Adds macros for vim mode plus☆12Dec 16, 2019Updated 6 years ago
- Translate Python code to Hy code☆18Jan 14, 2026Updated last month
- Procedural city generation.☆13Oct 15, 2022Updated 3 years ago
- k for BareMetal☆11Dec 10, 2024Updated last year
- A research-purpose software for 3D morphing between two meshes with arbitrary connectivity.☆11Sep 2, 2025Updated 5 months ago
- DCG utility predicates for Prolog☆10Jan 3, 2015Updated 11 years ago
- ☆14Dec 9, 2021Updated 4 years ago
- Book and code and pointers to videos for my relational interpreter course☆12Jan 24, 2025Updated last year
- Qualitative evaluation of automatic chord extraction results: analysis of the musical relationships between predicted chords and target c…☆10Oct 25, 2021Updated 4 years ago
- Find compatible jailbreaks for your iPhone☆13Sep 6, 2025Updated 5 months ago
- [3DV 2025] CoE: Deep Coupled Embedding for Non-Rigid Point Cloud Correspondences☆18Jan 5, 2026Updated last month