Clustering notions for the knowledge LaTeX package
☆20Jan 27, 2026Updated 5 months ago
Alternatives and similar repositories for knowledge-clustering
Users that are interested in knowledge-clustering are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Use multiple bibliographies in a single Typst document—Moved to https://codeberg.org/ensko/typst-alexandria☆29Dec 11, 2025Updated 6 months ago
- Emacs client for Semantic Synchrony knowledge graphs☆12Jan 2, 2026Updated 5 months ago
- ☆13Jun 18, 2026Updated last week
- Topos theory in Lean 4☆18Feb 10, 2025Updated last year
- Utensil's Zettelkasten-style forest of evergreen notes on math and tech.☆12May 30, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Git Repo for managing the ontological logger☆12Updated this week
- General-purpose utility library for Swift☆14Feb 17, 2025Updated last year
- Open-source protocol integrating collective and artificial intelligence — LLM orchestration, agentic workflows, and RAG in a cross-platfo…☆23Jun 19, 2026Updated last week
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 9 years ago
- Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus☆13Sep 19, 2016Updated 9 years ago
- Hierarchical Dirichlet Process (with Split-Merge Operations), originally by Chong Wang☆18Oct 12, 2013Updated 12 years ago
- Tiny Digital Audio Workstation in a Swift Playground (WWDC 2020 winner)☆17Sep 19, 2024Updated last year
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆25Jun 22, 2026Updated last week
- Real-time #SemanticWeb in <= 140 chars☆46Apr 14, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Classe de thèse LaTeX pour universités françaises☆33May 5, 2026Updated last month
- A database of small finite categories☆14Jan 10, 2024Updated 2 years ago
- ☆25Aug 1, 2022Updated 3 years ago
- Old french statistics☆11Sep 12, 2024Updated last year
- ☆12Sep 30, 2025Updated 8 months ago
- Use fzf with a config file + others goodies☆15Nov 13, 2022Updated 3 years ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆46Apr 22, 2026Updated 2 months ago
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆40Aug 29, 2025Updated 10 months ago
- A python library for the fully homomorphic encryption scheme ACES☆16Feb 14, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A file-based mirror of the nLab wiki (HTML format).☆30Updated this week
- A TikZ library of wiring diagrams☆22Feb 19, 2019Updated 7 years ago
- My PwSH prompt☆11Feb 27, 2025Updated last year
- A Python interface for automating Ghidra tasks.☆11Jun 17, 2024Updated 2 years ago
- This SDK allows web-based apps/pages to interact with dictation devices☆18Jun 22, 2026Updated last week
- Icon font set of Cassini map symbols for use with GIS and spatial analysis tools☆18Mar 17, 2025Updated last year
- Live TeX rendering.☆26Nov 30, 2023Updated 2 years ago
- fuzzy matching with Levenshtein, Damerau-Levenshtein, Bitap and n-gram☆24Jul 31, 2025Updated 10 months ago
- ☆17Nov 21, 2025Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Example of using Realtime API as a meeting assistant to manage a Kanban Board☆256May 11, 2026Updated last month
- An enhanced unification algorithm for Coq☆60Jun 9, 2026Updated 2 weeks ago
- This is the official CSS framework for codidact.com/the Codidact software.☆27Aug 11, 2023Updated 2 years ago
- A simple QGIS python plugin for building tidy cities.☆21Jun 17, 2024Updated 2 years ago
- A parser for Org-mode documents☆25May 7, 2026Updated last month
- Data Science Ontology☆41Sep 17, 2025Updated 9 months ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆39Mar 24, 2024Updated 2 years ago