Topic: rewrite-system Goto Github
Some thing interesting about rewrite-system
Some thing interesting about rewrite-system
rewrite-system,A toy language based on rewriting using code from Baader and Nipkow.
User: ayberkt
rewrite-system,A class for creating and implementing L-system grammars in python
User: carsonscott
rewrite-system,
User: chrisdalvit
rewrite-system,Teri is a library for term rewriting using strategies.
User: damdamo
rewrite-system,A proof of confluence for combinatory logic
User: emarzion
rewrite-system,Algebraic simplification in Julia
User: harrisongrodin
rewrite-system,My third year University dissertation, Term Rewriting System
User: kooixh
rewrite-system,The OpenCog (hyper-)graph database and graph rewriting system
Organization: opencog
Home Page: https://wiki.opencog.org/w/AtomSpace
rewrite-system,εΎη«―δΌΊζε¨ Web Server
User: queeniecplusplus
Home Page: https://github.com/QueenieCplusplus/QuickGoThru/blob/master/README.md#nginx--k8s-in-2020
rewrite-system,Extended BURS generator
User: tom-harwood
rewrite-system,Aho-Corasick string replacement utility
User: wroberts
rewrite-system,A math expression rewrite system.
Organization: yslide
Home Page: https://yslide.github.io
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.