TypeDB Examples Projects and Tutorials
☆17Jul 23, 2026Updated last month
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#.☆66Aug 21, 2026Updated last week
- MA4N1 Theorem Proving with Lean☆18Nov 24, 2025Updated 9 months ago
- AI toolbox for grounding LLMs on Langium DSLs with evaluation, constraints, and agent skills☆30Updated this week
- Unstable egglog standard library.☆16Updated this week
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆16Aug 22, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Project set up for playing around with mobile haskell☆14May 8, 2018Updated 8 years ago
- A PureScript, browser-based implementation of simple linear regression.☆19Dec 6, 2022Updated 3 years ago
- Ontology of fiction and narrative, developed as an extension of CIDOC-CRM and LRMoo.☆16Updated this week
- Optimizing Tensor Computation Graphs with Equality Saturation and Monte Carlo Tree Search☆15Aug 9, 2024Updated 2 years ago
- TypeDB Loader - Data Migration Tool for TypeDB☆67Mar 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…☆22Mar 29, 2026Updated 5 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Allocator Suite which contains various allocators for workload-specific allocation.☆17Apr 29, 2021Updated 5 years ago
- A copier template for your next LinkML project☆26Aug 1, 2026Updated 3 weeks ago
- Level-up your Hypothesis tests with CrossHair☆27Aug 22, 2026Updated last week
- 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 7 months ago
- evcxr support for drawing petgraph graphs in jupyter notebook☆13Oct 24, 2020Updated 5 years ago
- Simple testing toolkit☆10May 28, 2021Updated 5 years ago
- JSON serialization & deserialization for facet☆15Nov 27, 2025Updated 9 months ago
- ☆11Mar 1, 2017Updated 9 years 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.
- ☆13Feb 9, 2022Updated 4 years ago
- The Lean reference manual☆126Updated this week
- SBT Plugins For ZIO Ecosystem☆14Updated this week
- A terminal front-end for Xi Editor keeping minimalism as principle☆16Nov 12, 2020Updated 5 years ago
- Web authentication for Rust.☆15Aug 24, 2026Updated last week
- CodeSearch plugin for all IntelliJ-based IDEs☆13Oct 17, 2020Updated 5 years ago
- PostgreSQL Foreign Data Wrapper for RDF Triplestores☆37Jul 26, 2026Updated last month
- A nushell plugin for user interaction☆18Feb 3, 2024Updated 2 years ago
- Simple example app using Gatsby.js with Purescript☆12Jan 6, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A simpler request/response abstraction on top of Hyper☆13Jul 26, 2018Updated 8 years ago
- ☆24Oct 2, 2024Updated last year
- Sharable Grakn knowledge graphs☆13Dec 28, 2022Updated 3 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- verification toolchain for TypeScript (Tech Preview)☆90Updated this week
- Parse, manipulate, diff and patch HTML 📄☆20Jun 18, 2026Updated 2 months ago
- Link Modeling Language (LinkML) model☆84Updated this week