26 Open source projects that are alternatives of or similar to kanren

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

Julia package for the construction of quantum lattice systems.

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

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

Simple timetabling engine for schools

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

A powerful language for symbolic computation written in Swift.

A Declarative Theorem Prover for First-Order Classical Logic

Rust implementation of µKanren, a featherweight relational programming language.

An embedding of miniKanren in Shen.

CLP(SMT) on top of miniKanren

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.

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

Symbolic computation using SymPy and various applications

Curso de Ciência da Computação

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

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

Tools for an Aesara-based PPL.

Scientific computing in Lean 4

Open library with source code for OpenCobol, GnuCobol AS 400 COBOL, CL, CLP, CLLE, CBLLE

Constraint Logic Programming over Integers