TypeDB Examples Projects and Tutorials
☆17Jun 30, 2026Updated 2 weeks ago
Alternatives and similar repositories for typedb-examples
Users that are interested in typedb-examples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TypeDB Drivers for Rust, Python, Java, Node.js, C, C++, and C#.☆65Jul 13, 2026Updated last week
- TypeQL: Built for systems, not records☆253Updated this week
- AI toolbox for grounding LLMs on Langium DSLs with evaluation, constraints, and agent skills☆27Jul 13, 2026Updated last week
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- MA4N1 Theorem Proving with Lean☆17Nov 24, 2025Updated 7 months 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.
- Project set up for playing around with mobile haskell☆14May 8, 2018Updated 8 years ago
- Ontology of fiction and narrative, developed as an extension of CIDOC-CRM and LRMoo.☆15Jul 11, 2026Updated last week
- A sample web app for the integration of yFiles for HTML with Neo4j to visualize database contents☆16Nov 19, 2021Updated 4 years ago
- Optimizing Tensor Computation Graphs with Equality Saturation and Monte Carlo Tree Search☆15Aug 9, 2024Updated last year
- AI Framework for Remote Sensing Image Analysis using RAG - 88%+ accuracy, multi-modal queries, ChatGPT-like interface☆18Jul 27, 2025Updated 11 months ago
- TypeDB Bio: Biomedical Knowledge Graph☆90Jun 2, 2025Updated last year
- TypeDB Loader - Data Migration Tool for TypeDB☆65Mar 15, 2024Updated 2 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆23Mar 29, 2026Updated 3 months ago
- maze game encoded in Lean 4 syntax☆72Jul 2, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 12 years ago
- Automated spatial quality checker for buildings and roads — detects overlaps, containment issues, and geometry conflicts with clean outp…☆16Mar 1, 2026Updated 4 months ago
- Noir support for Zed☆11Mar 23, 2026Updated 3 months ago
- Level-up your Hypothesis tests with CrossHair☆26Jul 11, 2026Updated last week
- A copier template for your next LinkML project☆22Updated this week
- A collection of neuro-symbolic systems, papers and videos☆42Jan 12, 2026Updated 6 months ago
- A tool to help with repetitive commands during development☆14Jun 8, 2022Updated 4 years ago
- Playing with Python Bluesky SDK☆15Nov 18, 2024Updated last year
- Rust library for requesting certificates from an ACME provider.☆14Jul 13, 2026Updated last week
- 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.
- ☆21Jun 17, 2025Updated last year
- Divvi Up Control Plane☆10Updated this week
- The Lean reference manual☆122Updated this week
- A terminal front-end for Xi Editor keeping minimalism as principle☆16Nov 12, 2020Updated 5 years ago
- Example files used in the DuckDB - Unity Catalog blog☆10Dec 6, 2024Updated last year
- ☆11Mar 1, 2017Updated 9 years ago
- ☆16Jul 6, 2026Updated 2 weeks ago
- CodeSearch plugin for all IntelliJ-based IDEs☆13Oct 17, 2020Updated 5 years ago
- Push-based streams for Effect-ts☆16Apr 9, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Morpheus is a modern, open-source database migration tool for Neo4j. It is designed to be a simple, intuitive tool for managing database …☆25Jul 15, 2025Updated last year
- A high-performance, asynchronous runtime-agnostic alternative to `tokio::watch`.☆15Nov 12, 2025Updated 8 months ago
- Browser support for Lean using a monaco editor.☆16Jul 3, 2026Updated 2 weeks ago
- Simple example app using Gatsby.js with Purescript☆12Jan 6, 2023Updated 3 years ago
- Deriving steepest descent convergence bounds and hyperparameter scaling laws in machine learning optimization from first principles, form…☆16Apr 11, 2026Updated 3 months ago
- A simpler request/response abstraction on top of Hyper☆13Jul 26, 2018Updated 7 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago