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
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆106Updated last year
• 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.
  ☆83Updated 2 months ago
• CategoricalData / CQL
  Categorical Query Language IDE
  ☆321Updated 2 months ago
• racket / datalog
  ☆49Updated last month
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆55Updated 2 years ago
• terminusdb-labs / swipl-rs
  ☆31Updated last year
• mujx / dhall-terraform
  Generate dhall records from terraform resouces, data_sources & providers
  ☆59Updated 5 years ago
• seatgeek / dhall-nomad
  Create maintainable nomad job files
  ☆25Updated last year
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆19Updated last year
• meditans / reif
  Ulrich Newmerkel's library for reified if, as a prolog pack
  ☆11Updated 5 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 3 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆33Updated last year
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆190Updated 5 years ago
• rm-hull / wam
  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
  ☆28Updated 7 years ago
• dariooddenino / unison-mode-emacs
  Very simple syntax highlighting
  ☆21Updated last year
• 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
• JanWielemaker / openapi
  SWI-Prolog OpenAPI (Swagger) support
  ☆10Updated last year
• 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
• triska / simsttab
  Simple timetabling engine for schools
  ☆30Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆32Updated last week
• dhall-terraform / dhall-terraform
  Generate dhall records from terraform resouces, data_sources & providers
  ☆14Updated 2 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆209Updated last year
• bakaq / bakage
  An experimental package manager for Scryer Prolog
  ☆21Updated last month
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆42Updated 9 months ago
• mthom / scryer-shen
  ☆57Updated 7 months ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Updated 3 years ago