Alternatives and similar repositories for MiCA

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

• odipar / spread
  SPREAD
  ☆18Updated 4 years ago
• Tribler / utp4j
  Micro Transport Protocoll 4 Java
  ☆11Updated last year
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 4 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 3 years ago
• edwardcapriolo / nibiru
  A NoSql database designed for maximum plugablitily and configurability.
  ☆17Updated last month
• bloom-lang / c4
  Low-latency Overlog runtime
  ☆18Updated 10 years ago
• phaynes / datanet
  CRDT-based data synchronization service
  ☆17Updated 8 years ago
• smarr / selfopt-interp-performance
  A reporting project on the performance of self-optimizing interpreters
  ☆16Updated 9 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆28Updated 4 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 9 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated 3 weeks ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 11 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 9 years ago
• leithaus / SpecialK
  DataLog meets NoSql
  ☆64Updated 2 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:
  ☆50Updated 3 years ago
• sjrd / ozma
  Extending Scala with Oz Concurrency
  ☆81Updated 3 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆175Updated 3 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 10 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆33Updated 8 years ago
• addthis / meshy
  ☆17Updated 5 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆39Updated 3 years ago