Alternatives and similar repositories for tus

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

• CategoricalData / CQL
  Categorical Query Language IDE
  ☆313Updated 3 weeks ago
• terminusdb-labs / swipl-rs
  ☆29Updated last year
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆63Updated 5 years ago
• mujx / dhall-terraform
  Generate dhall records from terraform resouces, data_sources & providers
  ☆57Updated 5 years ago
• knowsys / nemo
  A fast in-memory rule engine
  ☆163Updated last week
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆32Updated 3 years ago
• terminusdb / terminusdb-store
  a tokio-enabled data store for triple data
  ☆380Updated last year
• robstewart57 / rdf4h
  rdf4h is a library for working with RDF in Haskell
  ☆78Updated 3 weeks 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 2 years ago
• EmaApps / orgself
  Exploring calendar outlining
  ☆17Updated last year
• dhall-lang / awesome-dhall
  A curated list of awesome dhall-lang
  ☆158Updated 5 months ago
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆61Updated 5 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated last year
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 9 months ago
• seatgeek / dhall-nomad
  Create maintainable nomad job files
  ☆25Updated last year
• elba / elba
  A package manager for Idris
  ☆186Updated 5 years ago
• srid / ema
  Change-aware static site generator for Haskell programmers
  ☆126Updated last month
• terminusdb / terminus_store_prolog
  Prolog binding for terminusdb-store
  ☆21Updated 3 years ago
• idris-hackers / idris-mode
  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆269Updated 4 months ago
• alpacaaa / quad-ci
  A CI server written in Simple Haskell.
  ☆191Updated 3 years ago
• ixmatus / orgmode-parse
  Attoparsec parser combinators for parsing org-mode structured text!
  ☆91Updated last year
• ChrisPenner / slick
  Static site generator built on Shake configured in Haskell
  ☆215Updated last year
• andorp / order-taking
  Idris version of Domain Modeling Made Functional Book.
  ☆142Updated 3 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆73Updated 2 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆32Updated 9 months ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆401Updated 3 years ago
• statebox / cql
  CQL: Categorical Query Language implementation in Haskell
  ☆177Updated 2 years ago
• dariooddenino / unison-mode-emacs
  Very simple syntax highlighting
  ☆21Updated last year
• tweag / funflow
  Functional workflows
  ☆364Updated last year
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆174Updated last year