Clustering notions for the knowledge LaTeX package
☆20Jan 27, 2026Updated 9 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:
- General purpose program synthetiser with existing Programming By Examples (PBE) pipeline☆25Jan 3, 2026Updated 9 months ago
- Implementation of the Mask R-CNN model using OCaml's numerical library Owl.☆19Jan 30, 2020Updated 6 years ago
- ☆10Apr 10, 2024Updated 2 years ago
- Search books within your terminal☆13Dec 26, 2024Updated last year
- An Agent-Based Financial Platform. See how evolve agents in a realistic double auction order book☆12Jun 21, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Find and decompose genomic variation sites in pangenome graphs☆17Aug 17, 2026Updated 2 months ago
- Tactic for polynomial manipulations☆13Updated this week
- ☆13Oct 18, 2026Updated last week
- Code repo for paper: ICML 2020 paper Natural lottery ticket winner: RL for ordinary neural circuits☆14Jun 1, 2020Updated 6 years ago
- My Dotfiles☆12Updated this week
- Emacs client for Semantic Synchrony knowledge graphs☆12Jan 2, 2026Updated 9 months ago
- ☆11Oct 16, 2025Updated last year
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Dépôt collaboratif pour s'échanger des synthèses, notes de cours concernant la formation sciences informatiques à l'UMons.☆29Jun 7, 2019Updated 7 years ago
- ☆13Sep 14, 2026Updated last month
- ☆21Aug 12, 2021Updated 5 years ago
- General-purpose utility library for Swift☆14Feb 17, 2025Updated last year
- Probabilistic Alignment of Relations, Instances, and Schema☆21Nov 17, 2025Updated 11 months ago
- A Github Action for uploading files to the WebDAV server☆19Apr 26, 2023Updated 3 years ago
- Regular reading group of the Prague programming languages and systems research network.☆17Oct 19, 2026Updated last week
- ☆15Updated this week
- A visual sound and music generation program☆20May 17, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A derivation explorer and logger for menhir parser☆25Dec 13, 2025Updated 10 months ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 4 years ago
- Utensil's Zettelkasten-style forest of evergreen notes on math and tech.☆13Updated this week
- ☆97Jul 17, 2026Updated 3 months ago
- Use multiple bibliographies in a single Typst document—Moved to https://codeberg.org/ensko/typst-alexandria☆30Dec 11, 2025Updated 10 months ago
- Repository containing source code of the 10 game environments of Gameworld.☆14Jun 1, 2025Updated last year
- A gedit plugin to reopen closed windows and optionally restore windows between sessions☆25Apr 17, 2025Updated last year
- GUI calculator modeled closely after M-x calc☆25May 14, 2026Updated 5 months ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated last year
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆25May 28, 2025Updated last year
- Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus☆13Sep 19, 2016Updated 10 years ago
- My basic LaTeX macros and BibTeX file.☆14Jan 13, 2023Updated 3 years ago
- Efficient numpy-like ragged array datatype for Python.☆20May 2, 2023Updated 3 years ago
- Topos theory in lean☆66Jan 6, 2021Updated 5 years ago
- Topos theory in Lean 4☆18Feb 10, 2025Updated last year