term-rewriting

Open-source projects categorized as term-rewriting
Edit details
Language: + Clojure + Julia + Python + Prolog
Topics: logic-programming pattern-matching simplification DSL symbolic-ai
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 4 term-rewriting Open-Source Projects

  • meander

    Tools for transparent data transformation

  • Metatheory.jl

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

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • SiMBA

    Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions (by DenuvoSoftwareSolutions)

    • Project mention: Program Synthesis | news.ycombinator.com | 2024-04-14

    I stumbled on the idea of Program Synthesis when I was looking to solve VMProtect's Mixed-Boolean-Arithmetic (MBA) expressions in my own VMP Decompiler. I tried experimenting with this project but had limited success:

    https://github.com/quarkslab/qsynthesis

    I have yet to try the project from Denuvo but it looks promising:

    https://github.com/DenuvoSoftwareSolutions/SiMBA

    If any commenter has other suggestions, would love to hear them!

  • data-logic

    Expert system with deductive querying and verification of constraints expressed in natural language

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

term-rewriting related posts

  • Program Synthesis

    2 projects | news.ycombinator.com | 14 Apr 2024

  • What Makes the Zig Programming Language Unique?

    6 projects | news.ycombinator.com | 5 Oct 2022

  • Data-recur meeting 3: Meander -- summary & video

    1 project | /r/Clojure | 2 Oct 2022

  • Data-recur meeting 3: general monthly - focusing on Meander

    1 project | /r/Clojure | 15 Sep 2022

  • Working with large maps

    3 projects | /r/Clojure | 28 Jul 2022

  • Data transformation in Clojure

    4 projects | /r/Clojure | 5 Nov 2021

  • Parse sexprs out of a string with Meander

    1 project | /r/Clojure | 29 Oct 2021
  • A note from our sponsor - SaaSHub
    www.saashub.com | 3 May 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

What are some of the best open-source term-rewriting projects? This list will help you:

Project Stars
1 meander 910
2 Metatheory.jl 334
3 SiMBA 135
4 data-logic 16

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com