Topic: unification Goto Github
Some thing interesting about unification
Some thing interesting about unification
unification,(Migrated from CodePlex) View-plug-ins Programming on database is an interface-oriented to simplify the design of complex batches processing. Useful for ETL, reporting and DWH solutions.
User: abelcheng
Home Page: https://view.codeplex.com/
unification,First Order Logic Inference Python Script for USC Viterbi CSCI 561 AI HW3
User: biyanim
unification,Normalization by evaluation for Martin-Löf Type Theory with dependent records
User: brendanzab
unification,Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
Organization: cryptosolvers
Home Page: https://cryptosolvers.github.io/CryptoSolve/
unification,
User: dmytri
Home Page: https://dmytri.dev/terminusdb-todoapp
unification,Rescuing the SOUL great logic meta programming language
User: ducasse
unification,Unification of Directed Acyclic Graphs in Clojure
User: ekoontz
unification,Validator and crawler for exasol-error-codes in Java code
Organization: exasol
unification,C++ builder for error messages
Organization: exasol
unification,This maven plugin checks and unifies a project's structure according to the Exasol integration team's repository standards.
Organization: exasol
unification,The official repository for Existence
Organization: existence-master
Home Page: https://existence.technology
unification,NuScenes, Lyft, Waymo and a2d2 datasets parser.
User: ezvezdov
unification,AntiUnification generalises from examples
User: frankshearar
unification,شركة تمثل قناه لتفريغ جهود محترفين لاعداد تصورات مبدئيه لخصوص تاطيير نظم بشريه اساسيه جديده
User: genmidia
unification,Tool for finding unifiers in the description logic EL
User: julianmendez
Home Page: https://julianmendez.github.io/uel/
unification,Programs developed for CSCI561 Foundations of Artificial Intelligence course
User: keerthivasan13
unification,ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Organization: kongware
unification,Yet Another Efficient Unification Algorithm
User: kuba--
unification,A small logic programming language.
User: lambduli
unification,Reference implementation of a shared equality query algorithm for shared λ-graphs; based on "Sharing equality is linear"
User: marvinborner
unification,Libraries for term rewriting and narrowing in Curry
User: matthesjh
unification,A unification implementation for JSON.
User: mattlloyd101
unification,Easy-to-use first order logic tools & Scala library
User: maxadamski
unification,Template for Hindley-Milner based languages
User: mbg
unification,Automatic Haskell type inference from JSON input
Organization: migamake
unification,Exploration of interactive inference rule application/proofs using a unification approach.
User: neuralcoder3
Home Page: https://neuralcoder3.github.io/prooftrees/
unification,Tools for transparent data transformation
User: noprompt
unification,Group related classes together. No more silos. A solution to rails dystopia.
User: nullvoxpopuli
unification,
User: pragyagupta2912
unification,Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
User: ptarau
unification,Straightforward unification in Python that's extensible via generic functions.
Organization: pythological
unification,OptionCell: OnceCell but derivable from Option
User: qnighy
unification,Think Prolog, but less capable.
User: ray-kast
unification,Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
User: rm-hull
Home Page: http://www.destructuring-bind.org/wam/
unification,Implementing and combining various type systems with principal type schemes
User: robertkleffner
unification,Prolog implemented in Python
User: robjsliwa
unification,Implemention of common resolution refutation strategies
User: samriddhijain
unification,Logic programming, for Rust, from inside Rust.
User: sdleffler
unification,All Lab experiments of 18CSC305J Artificial Intelligence.
User: shushrutsharma
unification,An implementation of Boolean Unification in Haskell
User: superstar64
unification,Moved to https://github.com/CryptoSolvers/CryptoSolve
Organization: symcollab
Home Page: https://github.com/CryptoSolvers/CryptoSolve
unification,AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)
User: tailintalent
unification,Implemented a project for designing the use of resolution in full first order logic. The project has been implemented in Java and an efficient algorithm has been used for parsing the data and for unification.
User: tirthmehta
unification,No dependency mini-library: deep equivalency, object pattern matching, deep cloning, unification.
User: uhop
unification,Unification Algorithm in Dart.
Organization: welopment
Home Page: https://pub.dev/packages/unification
unification,Implementation of McBride's "First-order unification by structural recursion" in Agda.
User: wenkokke
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.