Awesome Open Source

Programming Languages

Search results for programming language symbolic computation

programming-language x

symbolic-computation x

4 search results found

Metatheory.jl ⭐ 321

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

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

A powerful language for symbolic computation written in Swift.

Symboscript ⭐ 6

Limitless programming language

Term Rewriting Systems infrastructure

Related Searches

C Plus Plus Programming Language (830)

Python Programming Language (779)

C Programming Language (667)

Javascript Programming Language (590)

Java Programming Language (494)

Rust Programming Language (485)

Typescript Programming Language (164)

1-4 of 4 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.