TerminusDB Bootstrap
☆67Nov 22, 2023Updated 2 years ago
Alternatives and similar repositories for terminusdb-bootstrap
Users that are interested in terminusdb-bootstrap are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TerminusDB Python Client☆80May 19, 2026Updated last month
- tuscli - TerminusDB Javascript document client☆10Mar 13, 2026Updated 3 months ago
- Tutorials for using TerminusDB☆58May 5, 2023Updated 3 years ago
- Management Dashboard for Terminus DB☆16Apr 24, 2020Updated 6 years ago
- TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.☆3,318Jun 8, 2026Updated last week
- 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.
- A simple tool to help building stacking models.☆18Feb 7, 2026Updated 4 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Prolog binding for terminusdb-store☆22Jun 13, 2022Updated 4 years ago
- Charter proposal for an “RDF Dataset Canonicalization and Hash Working Group”☆11Dec 16, 2024Updated last year
- Traditional Irish genealogies represented as TRiG RDF named graphs.☆35May 5, 2026Updated last month
- A customizer for common lisp dynamic variables☆12Nov 2, 2021Updated 4 years ago
- squatconf 2016 talk proposal repository☆30Apr 11, 2016Updated 10 years ago
- A description of the relationship between databases, collaboration and Kripke☆28Nov 8, 2021Updated 4 years ago
- a tokio-enabled data store for triple data☆382Mar 11, 2024Updated 2 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.
- Homebrew GUI App written in electron☆34Feb 4, 2025Updated last year
- IRC Bot Written in Prolog☆20May 23, 2021Updated 5 years ago
- A simple and extensible shell script for managing your todo.txt file.☆17Jun 17, 2022Updated 4 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 10 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- ☆21May 12, 2026Updated last month
- Multi-stage Programming in F#☆12Mar 30, 2016Updated 10 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.
- perl CPAN yml and patches☆11Jul 5, 2019Updated 6 years ago
- Clone of https://gitlab.com/com-informatimago/com-informatimago Informatimago Common Lisp Library Documentation at http://www.informat…☆21May 6, 2026Updated last month
- A fast version of the Rapid Automatic Keyword Extraction (RAKE) algorithm☆10May 8, 2026Updated last month
- Wrap Saxon 9.X's HE's XSLT 2.0 processor for use in JRuby☆16Sep 2, 2019Updated 6 years ago
- Ansible deployment of fedora 4, single or clustered on ubuntu 14.04☆10Nov 11, 2015Updated 10 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- A simple but effective pure GNU Prolog client connecting with Redis, no libraries required.☆16Nov 1, 2016Updated 9 years ago
- An opinionated tool to generate Typescript AWS CDK constructs.☆10Jan 26, 2021Updated 5 years ago
- To Mock a Mockingbird, formalized in Coq☆11Mar 9, 2016Updated 10 years ago
- 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.
- Discussion and announcement management for the KGC Book Club☆11Sep 8, 2020Updated 5 years ago
- An implementation of a `net` server with a JSON protocol☆11Oct 23, 2017Updated 8 years ago
- The Knowledge Graph of the Knowledge Graph Conference☆14Sep 12, 2023Updated 2 years ago
- Pure prolog JSON encoding and decoding library plus some simple utility functions.☆13Jun 10, 2015Updated 11 years ago
- React components for rendering Data Package Views.☆16Dec 10, 2022Updated 3 years ago
- LaTeX toolkit for drawing and writing better OWL ontologies and RDF graphs in general.☆10Jul 3, 2023Updated 2 years ago
- A Redis module implementing a MultiMap type☆16Feb 21, 2020Updated 6 years ago