Alternatives and similar repositories for apt:

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

• cwi-swat / aterms
  The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …
  ☆23Updated 11 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆45Updated 2 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆49Updated 2 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆45Updated 2 months ago
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆18Updated 3 months ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 2 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 9 months ago
• rmetzler / simple-java-petrinet
  A simple Petri net framework in Java. I had to write this for my studies and figured it might be helpful for someone.
  ☆34Updated 6 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated 3 weeks ago
• apache / clerezza
  Mirror of Apache Clerezza
  ☆37Updated 2 years ago
• kevoree-modeling / framework
  The Kevoree Modeling Framework
  ☆42Updated 8 years ago
• MartinHaeusler / chronos
  The Chronos versioning project aims to provide easy-to-use and reliable versioned data storage.
  ☆52Updated 4 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 9 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated 11 months ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 6 months ago
• eclipse-gemoc / gemoc-studio
  gemoc-studio
  ☆27Updated last month
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 5 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆135Updated 3 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆79Updated 6 years ago
• mcalejo / interprolog
  Java <-> XSB Prolog bridge library
  ☆12Updated 4 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• Accla / graphulo
  Graphulo: Accumulo library of matrix math primitives and graph algorithms
  ☆78Updated last year
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆36Updated 10 years ago
• sdg-mit / arby
  An embedding of Alloy in Ruby
  ☆19Updated 11 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 11 months ago