TypeDB Examples Projects and Tutorials
☆17Jul 23, 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#.☆65Updated this week
- AI toolbox for grounding LLMs on Langium DSLs with evaluation, constraints, and agent skills☆28Updated this week
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Project set up for playing around with mobile haskell☆14May 8, 2018Updated 8 years ago
- Dafny verifies proofs; claimcheck confirms intent.☆27Jul 5, 2026Updated last month
- 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.
- ☆23Apr 3, 2018Updated 8 years ago
- Ontology of fiction and narrative, developed as an extension of CIDOC-CRM and LRMoo.☆16Updated this week
- A sample web app for the integration of yFiles for HTML with Neo4j to visualize database contents☆16Nov 19, 2021Updated 4 years ago
- ☆17Updated this week
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆22Mar 29, 2026Updated 4 months ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆35Dec 9, 2025Updated 8 months ago
- maze game encoded in Lean 4 syntax☆72Jul 2, 2025Updated last year
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textboo…☆22Oct 2, 2025Updated 10 months ago
- Allocator Suite which contains various allocators for workload-specific allocation.☆17Apr 29, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A copier template for your next LinkML project☆24Aug 1, 2026Updated last week
- Level-up your Hypothesis tests with CrossHair☆27Jul 25, 2026Updated 2 weeks ago
- A tool to help with repetitive commands during development☆14Jun 8, 2022Updated 4 years ago
- A collection of neuro-symbolic systems, papers and videos☆43Jan 12, 2026Updated 6 months ago
- evcxr support for drawing petgraph graphs in jupyter notebook☆13Oct 24, 2020Updated 5 years ago
- 📁 A respectful, XDG-first user directories implementation for obtaining the home, cache, config, data, runtime, and state directories.☆12Dec 8, 2024Updated last year
- Divvi Up Control Plane☆10Updated this week
- ☆21Jun 17, 2025Updated last year
- OpenTelemetry layer for HTTP/gRPC services☆13Jun 22, 2026Updated last month
- 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.
- JSON serialization & deserialization for facet☆15Nov 27, 2025Updated 8 months ago
- ☆11Mar 1, 2017Updated 9 years ago
- The Lean reference manual☆122Updated this week
- CodeSearch plugin for all IntelliJ-based IDEs☆13Oct 17, 2020Updated 5 years ago
- tools and benchmarks for verified coding☆27Jun 5, 2026Updated 2 months ago
- A high-performance, asynchronous runtime-agnostic alternative to `tokio::watch`.☆15Nov 12, 2025Updated 8 months ago
- 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
- ☆15May 15, 2026Updated 2 months ago
- A nushell plugin for user interaction☆18Feb 3, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 3 years ago
- A simpler request/response abstraction on top of Hyper☆13Jul 26, 2018Updated 8 years ago
- ☆24Oct 2, 2024Updated last year
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 8 months ago
- Fast replacements for some common functions on linked lists☆13Dec 14, 2017Updated 8 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- verification toolchain for TypeScript (Tech Preview)☆75Updated this week