43 Open source projects that are alternatives of or similar to Metatheory.jl

EGraphs in OCaml

A tiny C compiler written purely in JavaScript.

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

Symbolic computation using SymPy and various applications

Manipulate tensors symbolically in Julia! Currently needs a SymPy dependency, but work is ongoing to change the backend to SymbolicUtils.jl

A curated list of awesome resources and learning materials in the field of X internals

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

Tools for an Aesara-based PPL.

Scientific computing in Lean 4

∫ Straightforward numerical integration of systems of ordinary differential equations

An extensible, lightweight relational/logic programming DSL written in pure Python

Julia package for the construction of quantum lattice systems.

Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.

CSCD70 Compiler Optimization

Advanced Combinatorics and Algebraic Number Theory Symbolic Computation library for JavaScript, Python

A Fast C and Python like Programming Language that puts the Developer first. WIP

Compiler for Decaf Programming Language

A powerful language for symbolic computation written in Swift.

A Mathematica package for generating symbolic models from data

No description or website provided.

A Kotlin Multi-Platform ecosystem for symbolic AI

Specify and synthesize systems using symbolic algorithms

A symbolic model checker for Dynamic Epistemic Logic.

Port of the Eigenmath math engine to the Casio Prizm (fx-CG 10 and 20)

Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.

Various methods for generating synthetic data for data science and ML

mathiu : a simple computer algebra system in C++.

The open-source computational framework for the Swift language

An interface between ControlSystems.jl and SymPy.jl

Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.

Curso de Ciência da Computação

Register Allocator for 8086

Hascal is a general purpose and open source programming language designed to build optimal, maintainable, reliable and efficient software.

The Git repository for the mCRL2 toolset.

A static typed low-level compiled programming language inspired by Rust and C

A toy C-like language compiler for PigletVM

Theory of compilation course, MIPT

JuCC - Jadavpur University Compiler Compiler

parser combinator and AST generator in c++17

tiny-lang — A different programming language. Supports a bunch of spoken languages.

My first attempt to create a compiler

A compiler that accepts any valid program written in C. It is made using Lex and Yacc. Returns a symbol table, parse tree, annotated syntax tree and intermediate code.

A language-generic implementation of equality saturation in Haskell