Alternatives and similar repositories for mase

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

• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 5 years ago
• feenkcom / gtoolkit-visualizer
  A set of visualization engines.
  ☆14Updated last week
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• jafl / jx_application_framework
  JX is a C++ application framework and widget library (SDK) for use with the X Window System.
  ☆30Updated last week
• eiffelhub / json
  Eiffel JSON library
  ☆18Updated 5 years ago
• google / tmppy
  TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.
  ☆34Updated 3 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆15Updated 10 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆18Updated 4 months ago
• DaMSL / K3
  K3: A Declarative Data Systems Programming Framework
  ☆15Updated 9 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• LouisJenkinsCS / Distributed-Data-Structures
  [GSoC] Distributed Data Structures - Collections Framework for Chapel language
  ☆15Updated 8 years ago
• idsc-frazzoli / tensor
  linear algebra for tensors with symbolic and numeric scalars
  ☆32Updated 6 years ago
• chiggum / Neural-Turing-Machines
  An attempt at replicating Deepmind's Neural Turing Machines in Theano
  ☆11Updated 9 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆34Updated 7 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Updated 3 months ago
• Wodan58 / joy0
  Original Joy
  ☆10Updated last year
• dalnefre / kernel_abe
  John Shutt's "Kernel" language implemented on ABE (C) runtime.
  ☆13Updated 7 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 7 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• AdaCore / gnatcoll-db
  GNAT Components Collection – Database packages
  ☆15Updated 3 weeks ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 6 months ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆49Updated last week
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 4 years ago