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
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated this week
• smarr / selfopt-interp-performance
  A reporting project on the performance of self-optimizing interpreters
  ☆16Updated 9 years ago
• Zarkonnen / Longan
  A flexible pure-Java OCR implementation. Eventually.
  ☆20Updated 10 years ago
• pietermartin / thundergraph
  tinkerpop blueprints graphdb on top on lmdb
  ☆20Updated 11 years ago
• prova / prova
  ☆36Updated last year
• phaynes / datanet
  CRDT-based data synchronization service
  ☆17Updated 8 years ago
• addthis / meshy
  ☆17Updated 5 years ago
• Syncleus / dANN-core
  ☆12Updated 10 years ago
• bloom-lang / c4
  Low-latency Overlog runtime
  ☆18Updated 10 years ago
• penberg / hornet
  Hornet, a JVM optimized for low-latency applications.
  ☆53Updated 10 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:
  ☆49Updated 3 years ago
• briantrice / slate-language
  The Slate programming language
  ☆147Updated last year
• aredridel / lotsawa
  The Marpa parsing alrgorithm in Javascript
  ☆22Updated 8 years ago
• edwardcapriolo / nibiru
  A NoSql database designed for maximum plugablitily and configurability.
  ☆17Updated last month
• Nanolat / nldb
  Nanolat Database supporting 1M transactions per second.
  ☆22Updated 11 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• dmontag / neo4j-versioning
  ☆45Updated 14 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
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆175Updated 3 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 10 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• rescrv / Replicant
  A system for maintaining replicated state machines
  ☆115Updated 8 years ago
• NonVolatileComputing / pmalloc
  A Portable Persistent Memory Allocation Library
  ☆14Updated 5 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 16 years ago
• orcc / orcc
  Open RVC-CAL Compiler
  ☆33Updated 5 years ago
• ptal / AbSolute
  Constraint solver based on abstract interpretation
  ☆10Updated 8 months ago
• enso-lang / enso
  ☆71Updated 5 years ago
• MetaBorgCube / IceDust
  A language for data modeling and incremental computing of derived values
  ☆11Updated last year