Alternatives and similar repositories for mase:

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

• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆17Updated last month
• sireum / v3
  Sireum v3
  ☆10Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• htm-community / cell-viz
  ☆11Updated 6 years ago
• tushartushar / DbDeo
  Database smell detector
  ☆13Updated 7 years ago
• rtosholdings / riptide_cpp
  Multihreaded 64 bit c++ files for processing numba arrays
  ☆17Updated 11 months ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• DOCGroup / CIAO
  CIAO is a C++ implementation of the OMG's LwCCM standard.
  ☆11Updated 4 years ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆12Updated 3 weeks ago
• OlegSmelov / omgrofl-interpreter
  Omgrofl interpreter
  ☆16Updated 4 years ago
• wiseaidev / frozndict
  frozndict is a memory efficient immutable dictionary.
  ☆5Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 2 years ago
• mcdougallab / modeldb
  ModelDB 2020 redesign
  ☆10Updated 2 weeks ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• att / vizgems
  An end-to-end management tool for very large computing environments, physical and virtual. it collects alarms and detailed statistics fro…
  ☆15Updated last year
• metaborg / strategoxt
  The Stratego program transformation language
  ☆31Updated 8 months ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• wbond / pymeta3
  A Python 3 compatible fork of https://launchpad.net/pymeta
  ☆18Updated 6 years ago
• aserg-ufmg / NextBug
  A next-good-bug recommender for Bugzilla
  ☆11Updated 9 years ago
• fritzo / pomagma
  An inference engine for extensional untyped λ-calculus
  ☆17Updated 2 years ago
• sdroege / snippets
  Some algorithms and data structures
  ☆17Updated 4 years ago
• HewlettPackard / shoveller
  ☆11Updated 4 years ago
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• BlazingDB / bsql-demos
  Example notebooks using BlazingSQL with the RAPIDS AI ecoystem.
  ☆15Updated 5 years ago
• DaMSL / K3
  K3: A Declarative Data Systems Programming Framework
  ☆15Updated 8 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago