Libraries and tools for topological and geometric modeling.
☆17Mar 23, 2025Updated 11 months ago
Alternatives and similar repositories for cell-complex
Users that are interested in cell-complex are comparing it to the libraries listed below
Sorting:
- ⚙ Skeleton TiddlyWiki for developing plugins using the ThirdFlow, see: https://thediveo.github.io/TiddlyWikiPluginSkeleton and https://yo…☆10Mar 1, 2020Updated 6 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Demonstrate, practice and learn Filters, WikiText and CSS in TiddlyWiki☆11Nov 17, 2024Updated last year
- My TiddlyWiki macros and plugins.☆13Jan 5, 2025Updated last year
- Lisp Flavoured C++☆29Mar 12, 2021Updated 4 years ago
- Adds Syntax Highlighting & Hint for TiddlyWiki5 tiddlers (text/vnd.tiddlywiki) to the CodeMirror.☆19Sep 24, 2021Updated 4 years ago
- Towards changing things and see if it proofs☆60Jul 12, 2021Updated 4 years ago
- Embedding a Prolog-like logic programming language in JavasScript and TypeScript.☆17Jul 11, 2023Updated 2 years ago
- A microKanren framework for implementing constraints.☆19May 30, 2018Updated 7 years ago
- A JSON extension plugin for TiddlyWiki5☆17Dec 28, 2020Updated 5 years ago
- a TiddlyWiki plugin to preview tiddlers when hovering links☆17May 30, 2020Updated 5 years ago
- Tiddlywiki SyncAdaptorModules for node-solid-server☆16Dec 13, 2022Updated 3 years ago
- Simple checklist and plain todo list for Tiddlywiki☆17Aug 11, 2025Updated 6 months ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Jul 2, 2024Updated last year
- An implementation of the Web Speech API for Jermolene's TiddlyWiki5!☆21Aug 19, 2021Updated 4 years ago
- ☆23Feb 25, 2020Updated 6 years ago
- A collection of useful plugins for TiddlyWiki☆22Feb 14, 2023Updated 3 years ago
- ☆22Dec 23, 2021Updated 4 years ago
- Tiny little drawing app in TW, using tldraw. Providing diagram widget and whiteboard view.☆21Sep 20, 2025Updated 5 months ago
- TiddlyWiki plugin: Highlight the keywords of search input, "find in page" for Android and TiddlyDesktop☆21Feb 4, 2024Updated 2 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Sep 21, 2020Updated 5 years ago
- Full text search plugin for TiddlyWiki powered by lunr.js☆25Jun 20, 2020Updated 5 years ago
- Direct saving Tiddlywiki 5.1.20+ to GitHub Pages using the new Tiddlywiki Github Saver Mechanism☆22Oct 10, 2021Updated 4 years ago
- Comprehensive Markdown plugin for TiddlyWiki☆26Aug 23, 2019Updated 6 years ago
- a collection of tools to do tangle in rust☆24Jul 24, 2019Updated 6 years ago
- An implementation of lambda calculus.☆26Aug 23, 2025Updated 6 months ago
- An authenticated proxy for protecting your tiddlywiki.☆31Mar 16, 2023Updated 2 years ago
- TiddlyWiki简易教程与墨屉钓鱼版☆31Mar 2, 2024Updated 2 years ago
- ☆30Oct 8, 2023Updated 2 years ago
- Study of language design and implementation.☆66Sep 14, 2020Updated 5 years ago
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- An enhanced for CodeMirror framework in TiddlyWiki, including TW5 highlight, WikiLink auto-completion, expandable hint, snippets, etc.☆36Sep 11, 2023Updated 2 years ago
- ☆10Nov 14, 2018Updated 7 years ago
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆32Aug 20, 2017Updated 8 years ago
- 🔌 In-browser Tiddlywiki 5 plugin development support plugin☆42Aug 20, 2019Updated 6 years ago
- Import Obsidian Vault in TiddlyWiki5☆11Updated this week
- 在网页展示猫娘乐园的E-mote模型☆16Updated this week
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago