mathigon / documentation
Mathigon's Open Source Website
☆20Updated 5 months ago
Alternatives and similar repositories for documentation:
Users that are interested in documentation are comparing it to the libraries listed below
- A customisable NodeJS server for creating and hosting highly interactive online courses.☆39Updated this week
- Source code of Mathigon's interactive textbooks☆361Updated this week
- A software agent illustrating some features of an illusionist account of consciousness☆14Updated 7 years ago
- Experiments with interactive theorem provers, LLMs and formal systems☆19Updated last year
- A 3D "underlay" for tldraw☆45Updated 9 months ago
- Hypergraph Rewriting System☆66Updated 10 months ago
- A 2D digital garden/virtual world to explore connections across your data and go down spontaneous rabbit holes backed by a full-text and …☆14Updated 3 years ago
- Extending conceptual thinking with semantic embeddings.☆36Updated 3 years ago
- FSRS for the browser, including Optimizer and Scheduler☆34Updated last week
- ☆86Updated 2 years ago
- Smart Rem☆21Updated 4 years ago
- Semantic search across every YC company ever. Vibe check your idea?☆65Updated last year
- Discussion of MeTTa programming with examples☆21Updated last month
- Intuitive math descriptions and animations (like 3b1b)☆96Updated 2 years ago
- Sync flashcards from Roam Research to Anki☆34Updated last year
- An Agent Based Modeling system (ABM)☆109Updated this week
- An open tweet database and API anyone can build on.☆76Updated this week
- Catalogue of portals that maps out roadmap for self learners☆79Updated 2 years ago
- Domain Specific Language using Manim to create animations for data structures and algorithms☆49Updated 3 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆226Updated 2 months ago
- JavaScript expression parsing, MathML rendering and CAS.☆16Updated this week
- A serendipity engine on the Twitter sidebar.☆21Updated 2 years ago
- Website describing the infinite canvas category of app☆115Updated 2 months ago
- Pure Typescript, dependency free, ridiculously slow implementation of GPT2 for educational purposes☆43Updated last year
- Fabricius is an Anki plugin that bidirectionally syncs between Roam and Anki.☆66Updated last year
- Three.js scripts used in Tungsteno☆11Updated 3 years ago
- Transcribe a Youtube video's captions with timestamps into Obsidian MD format☆12Updated 2 years ago
- A nutritional label for food for thought.☆37Updated 2 years ago
- Typescript version of SPEEDy☆24Updated this week
- Add some intelligence to your notes with Silicon AI for Obsidian☆129Updated 11 months ago