Alternatives and similar repositories for tus

Users that are interested in tus are comparing it to the libraries listed below

• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 5 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆83Updated 2 months ago
• CategoricalData / CQL
  Categorical Query Language IDE
  ☆321Updated 2 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆106Updated last year
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆19Updated last year
• mujx / dhall-terraform
  Generate dhall records from terraform resouces, data_sources & providers
  ☆59Updated 5 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• JanWielemaker / openapi
  SWI-Prolog OpenAPI (Swagger) support
  ☆10Updated last year
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 3 months ago
• EmaApps / orgself
  Exploring calendar outlining
  ☆17Updated last year
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆32Updated last week
• terminusdb / terminus_store_prolog
  Prolog binding for terminusdb-store
  ☆22Updated 3 years ago
• seatgeek / dhall-nomad
  Create maintainable nomad job files
  ☆25Updated last year
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 4 years ago
• dariooddenino / unison-mode-emacs
  Very simple syntax highlighting
  ☆21Updated last year
• terminusdb-labs / swipl-rs
  ☆31Updated last year
• softwarefactory-project / dhall-ansible
  Ansible definitions with Dhall
  ☆68Updated last year
• input-output-hk / cicero
  event-driven automation for Nomad
  ☆41Updated 2 years ago
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆55Updated 2 years ago
• dhall-lang / awesome-dhall
  A curated list of awesome dhall-lang
  ☆159Updated 9 months ago
• meditans / reif
  Ulrich Newmerkel's library for reified if, as a prolog pack
  ☆11Updated 5 years ago
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆36Updated 5 months ago
• bakaq / bakage
  An experimental package manager for Scryer Prolog
  ☆21Updated last month
• justinwoo / prefetch-github
  A helper to save me some keystrokes from nix-prefetch-git.
  ☆13Updated 6 years ago
• terminusdb / terminusdb-store
  a tokio-enabled data store for triple data
  ☆380Updated last year
• racket / datalog
  ☆49Updated last month
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆405Updated 3 years ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Updated 3 years ago
• lucperkins / nix-monorepo
  An illustration of how you might use Nix in a large, multi-language project and in accordance with best practices
  ☆52Updated 3 years ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆176Updated last month