terminusdb / tusLinks
TUS protocol for resumable file uploads via HTTP
☆14Updated last year
Alternatives and similar repositories for tus
Users that are interested in tus are comparing it to the libraries listed below
Sorting:
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆83Updated 2 months ago
- Categorical Query Language IDE☆321Updated 2 months ago
- A Prolog library to connect to PostgreSQL databases☆106Updated last year
- Template engine for ISO Prolog, based on Jinja and Tera☆19Updated last year
- Generate dhall records from terraform resouces, data_sources & providers☆59Updated 5 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Updated last year
- Proposed documentation for alloytools.org☆71Updated 3 months ago
- Exploring calendar outlining☆17Updated last year
- The SWI-Prolog RDF store☆32Updated last week
- Prolog binding for terminusdb-store☆22Updated 3 years ago
- Create maintainable nomad job files☆25Updated last year
- Modeling DNS with Alloy☆37Updated 4 years ago
- Very simple syntax highlighting☆21Updated last year
- ☆31Updated last year
- Ansible definitions with Dhall☆68Updated last year
- event-driven automation for Nomad☆41Updated 2 years ago
- A persistent, relational store inspired by Datomic and DataScript.☆55Updated 2 years ago
- A curated list of awesome dhall-lang☆159Updated 9 months ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Updated 5 years ago
- formal tools for BPMN☆36Updated 5 months ago
- An experimental package manager for Scryer Prolog☆21Updated last month
- A helper to save me some keystrokes from nix-prefetch-git.☆13Updated 6 years ago
- a tokio-enabled data store for triple data☆380Updated last year
- ☆49Updated last month
- Research on integrating datalog & lambda calculus via monotonicity types☆405Updated 3 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Updated 3 years ago
- An illustration of how you might use Nix in a large, multi-language project and in accordance with best practices☆52Updated 3 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆176Updated last month