Alternatives and similar repositories for reqT

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

• rewriting / tom
  ☆34Updated 4 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• eleaar / scala-mas
  A Lightweight parallel Multi-Agent System library in Scala.
  ☆6Updated 7 years ago
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• xu-hao / QueryArrow
  A semantically unified SQL and NoSQL query and update system
  ☆18Updated 6 years ago
• dontcallmedom / spiff
  A diff tool that highlights changes at the token (rather than line) level
  ☆12Updated 2 years ago
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆33Updated 8 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• reflectionalist / DS-PhPL
  Discussion Seminar: Philosophy of Programming Lanugages
  ☆14Updated 11 years ago
• pluto-build / pluto
  ☆21Updated 2 years ago
• alviano / wasp
  ☆22Updated 9 months ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• grammarware / bx-parsing
  Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, For…
  ☆18Updated 5 years ago
• mkery / Variolite
  ☆17Updated 8 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated 3 weeks ago
• marcoStocchi / DSPX_Fast_wavelet_transform_assisted_predictors_of_streaming_time_series
  Fast Wavelet Transform assisted predictors of streaming time series
  ☆9Updated 8 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆27Updated 4 months ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 11 months ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• uzh / fox
  A framework for PSL inference.
  ☆21Updated 9 years ago
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆18Updated 2 months ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆66Updated last year
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆47Updated 3 years ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 4 years ago
• eschulte / goa
  Evolutionary optimization of extant software
  ☆27Updated 11 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆77Updated 2 years ago