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
• LouisJenkinsCS / Distributed-Data-Structures
  [GSoC] Distributed Data Structures - Collections Framework for Chapel language
  ☆15Updated 7 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• dkout / 18.065
  Matrix Methods In Data Analysis, Signal Processing, And Machine Learning
  ☆10Updated 7 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 4 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆33Updated 4 months ago
• DaMSL / K3
  K3: A Declarative Data Systems Programming Framework
  ☆15Updated 9 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 7 years ago
• cair / TsetlinMachineC
  A C implementation of the Tsetlin Machine
  ☆15Updated last week
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆12Updated 3 years ago
• bwasti / lazy
  Python Library for Lazy Interfaces
  ☆34Updated 6 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 8 years ago
• AdaCore / gnatcoll-db
  GNAT Components Collection – Database packages
  ☆13Updated 2 weeks ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆55Updated this week
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 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 3 weeks ago
• textX / viewX-vscode
  A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.
  ☆12Updated 7 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 4 years ago
• catwell / datalog.lua
  A datalog implementation in pure Lua (LPEG parser).
  ☆22Updated 2 years ago
• feenkcom / gtoolkit-visualizer
  A set of visualization engines.
  ☆14Updated this week
• rewriting / tom
  ☆34Updated 4 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆32Updated 4 months 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
• typon / tabdeeli
  An interactive search/replace tool for when you want to refactor without being nervous
  ☆19Updated 3 years ago
• google / tmppy
  TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.
  ☆35Updated 3 years ago
• a-nikolaev / study-in-scarlet
  A simple Unix-friendly toolkit for plagiarism detection.
  ☆19Updated 5 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 9 years ago