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
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• 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 12 years ago
• LouisJenkinsCS / Distributed-Data-Structures
  [GSoC] Distributed Data Structures - Collections Framework for Chapel language
  ☆15Updated 8 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆15Updated 10 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 7 months ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 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
• JUrban / MPTP2
  ☆19Updated 8 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆49Updated this week
• Wodan58 / joy0
  Original Joy
  ☆10Updated last year
• bwasti / lazy
  Python Library for Lazy Interfaces
  ☆35Updated 7 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆35Updated 8 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• erezsh / lambdaX
  Partial evaluation for Python with syntactic sugar
  ☆36Updated 9 years ago
• adamwespiser / deep-learning-koans
  A series of educational Deep Learning Koans, using Julia and Flux.jl
  ☆32Updated 6 years ago
• stokito / fortress-lang
  ☆58Updated 9 years ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Updated 4 months ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆56Updated 3 months ago
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 5 years ago
• compatibl / tapescript
  Scalar and vector adjoint algorithmic differentiation (AAD)
  ☆29Updated 8 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
• grammarware / slps
  Software Language Processing Suite
  ☆47Updated 4 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• x10-lang / x10
  Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite
  ☆72Updated 4 years ago
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆12Updated 3 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 4 years ago
• grammarly / gr-parseval
  Implementation of different variants of Parseval metric
  ☆13Updated 11 years ago