Topic: term-rewriting Goto Github
Some thing interesting about term-rewriting
Some thing interesting about term-rewriting
term-rewriting,AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.
Organization: aesara-devs
Home Page: https://aemcmc.readthedocs.io/en/latest/
term-rewriting,Tools for an Aesara-based PPL.
Organization: aesara-devs
Home Page: https://aeppl.readthedocs.io
term-rewriting,Pure programming language
User: agraef
Home Page: https://agraef.github.io/pure-lang/
term-rewriting,Non-linear pattern matching for Python's objects, or a regexp-like for objects, query/match object graphs/tree/AST in a declarative way
User: aranega
term-rewriting,Expert system with deductive querying and verification of constraints expressed in natural language
User: arcadio
term-rewriting,A toy language based on rewriting using code from Baader and Nipkow.
User: ayberkt
term-rewriting,E-Graph library
User: can-lehmann
term-rewriting,MIRROR of https://codeberg.org/catseye/Arboretuum : A forest-rewriting language; precursor to Treacle.
Organization: catseye
Home Page: https://catseye.tc/node/Arboretuum
term-rewriting,MIRROR of https://codeberg.org/catseye/Treacle : A compiler-definition language based on "context rewriting"
Organization: catseye
Home Page: https://catseye.tc/node/Treacle
term-rewriting,Symbolic parser for Julia language term rewriting using REDUCE algebra
User: chakravala
Home Page: http://www.reduce-algebra.com/
term-rewriting,A library for first-order term-rewriting
User: chrisbouchard
term-rewriting,Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
Organization: cryptosolvers
Home Page: https://cryptosolvers.github.io/CryptoSolve/
term-rewriting,クヌース・ベンディックス完備化アルゴリズムの OCaml 実装
User: curegit
term-rewriting,Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
Organization: denuvosoftwaresolutions
term-rewriting,Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
Organization: denuvosoftwaresolutions
term-rewriting,A public flat live persistent globally distributed functional symbolic artifact computation engine based on term rewriting
User: edmugabi
term-rewriting,Python bindings for the egg-smol rust library
Organization: egraphs-good
Home Page: https://egglog-python.readthedocs.io
term-rewriting,Neural-Network Guided Expression Transformation
Organization: epfl-lara
term-rewriting,Algebraic simplification in Julia
User: harrisongrodin
term-rewriting,Tools for permutations of associative elliptic curve operations using term rewriting
User: harryr
term-rewriting,A library for pattern matching on symbolic expressions in Python.
Organization: hpac
term-rewriting,A simple package to do symbolic math (focus on code gen and DSLs)
User: inducer
Home Page: http://mathema.tician.de/software/pymbolic
term-rewriting,an implementation of mlatu in C++ with a goal towards performance
User: jackojc
Home Page: https://discord.gg/Qqguu9SRvU
term-rewriting,Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems
User: joshrule
term-rewriting,Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.
User: joshrule
term-rewriting,a Rust implementation of first-order term rewriting systems (TRS)
User: joshrule
term-rewriting,Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Organization: juliasymbolics
Home Page: https://juliasymbolics.github.io/Metatheory.jl/dev/
term-rewriting,confluin does confluence checks for Tamarin input files
User: katrielalex
term-rewriting,The Git repository for the mCRL2 toolset.
Organization: mcrl2org
Home Page: https://mcrl2.org/
term-rewriting,incremental tree transformers
User: milahu
term-rewriting,A tool for the transformation of an irreversible Term Rewriting System into a reversible one
Organization: mistupv
Home Page: http://kaz.dsic.upv.es/rev-rewriting.html
term-rewriting,A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.
User: moratori
term-rewriting,Term Rewriting Systems infrastructure
User: nathsou
Home Page: https://nathsou.github.io/Girafe/
term-rewriting,Pure node server + JaxMaTe client
User: nilqed
Home Page: http://nilqed.github.io/pure_jaxmate/
term-rewriting,Tools for transparent data transformation
User: noprompt
term-rewriting,A Parsing Toolbox
User: npillmayer
Home Page: http://npillmayer.github.io/GoRGO/
term-rewriting,rewriting ELBO: variational inference using symbolic rewriting techniques
User: overshiki
term-rewriting,E-graph implementation for educational purposes
User: peterrudenko
term-rewriting,Stuff related to my Ph.D. research
User: ruudkoot
term-rewriting,Fully in-browser IDE and rule engine for L4 (a DSL for business rules), along with various language binding libraries
Organization: smucclaw
Home Page: https://smucclaw.github.io/l4-lp/
term-rewriting,Moved to https://github.com/CryptoSolvers/CryptoSolve
Organization: symcollab
Home Page: https://github.com/CryptoSolvers/CryptoSolve
term-rewriting,Writing SMT-LIB Standard programs with Haskell.
User: teimichael
term-rewriting,A comprehensive analyzer for term rewriting systems.
User: teimichael
term-rewriting,Reason about Term Rewriting Systems
User: triska
Home Page: https://www.metalevel.at/trs/
term-rewriting,Tools for rapid prototyping of DSL compilers
User: true-grue
term-rewriting,Applicative TRS implemented in Haskell
User: uedatakumi
term-rewriting,The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
Organization: usethesource
Home Page: http://www.rascal-mpl.org
term-rewriting,The overall aim of this project is to create a term rewriting system that could be useful in everyday programming, and to represent data in a way that roughly correspond to the definition of a term in formal logic. Terms should be familiar to any programmer because they are basically constants, variables, and function symbols.
User: wcoetser
term-rewriting,Personal research notes
User: wkolowski
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.