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 6 years ago
• CategoricalData / CQL
  Categorical Query Language IDE
  ☆322Updated last month
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆107Updated last year
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆55Updated 2 years ago
• terminusdb / terminus_store_prolog
  Prolog binding for terminusdb-store
  ☆22Updated 3 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆86Updated 3 weeks ago
• mujx / dhall-terraform
  Generate dhall records from terraform resouces, data_sources & providers
  ☆59Updated 5 years ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆176Updated 2 months ago
• racket / datalog
  ☆49Updated 2 months ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Updated 3 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆33Updated last year
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 5 months ago
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆19Updated 2 years ago
• pinselimo / Pythas
  Import Haskell modules in Python as if they were native modules
  ☆12Updated 4 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 3 years ago
• hydromatic / morel
  A functional query language
  ☆360Updated last week
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆121Updated 3 years ago
• dhall-lang / awesome-dhall
  A curated list of awesome dhall-lang
  ☆159Updated 3 weeks ago
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆61Updated 10 months ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆149Updated 3 weeks ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆416Updated 3 years ago
• softwarefactory-project / dhall-ansible
  Ansible definitions with Dhall
  ☆68Updated last year
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆133Updated 4 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆75Updated 3 years ago
• mm-adt / vm
  The mm-ADT Virtual Machine
  ☆35Updated 5 years ago
• CategoricalData / hydra
  Graph programming language
  ☆137Updated this week
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆33Updated 4 years ago
• bakaq / bakage
  An experimental package manager for Scryer Prolog
  ☆22Updated 2 months ago
• seatgeek / dhall-nomad
  Create maintainable nomad job files
  ☆25Updated last year
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆32Updated last week