kuba--/ut

Yet Another Efficient Unification Algorithm

Language: Go - Size: 38.1 KB - Last synced at: 7 months ago - Pushed at: about 1 year ago - Stars: 27 - Forks: 2

Keerthivasan13/CSCI561_Artificial_Intelligence

Programs developed for CSCI561 Foundations of Artificial Intelligence course

Language: Python - Size: 1.54 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 7

BarrensZeppelin/pointer

Implementation of Steensgaard's pointer analysis for Go

Language: Go - Size: 62.5 KB - Last synced at: 7 months ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 0

qnighy/option-cell

OptionCell: OnceCell but derivable from Option

Language: Rust - Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

nuric/softuni

Learning Invariants through Soft Unification

Language: Jupyter Notebook - Size: 2.44 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 1

ruudkoot/phd

Stuff related to my Ph.D. research

Language: Haskell - Size: 136 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

TrungLuong1194/expert-system

Language: Python - Size: 42 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

DanielPointon/Axiomatic2

Algorithmic Maths Engine

Language: Python - Size: 18.9 MB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

teodutu/IA

Inteligenta Artificiala - UPB 2020-2021

Language: Jupyter Notebook - Size: 20.6 MB - Last synced at: 8 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

urvishjarvis1/unificationalgorithm

The Prolog Unification algorithm

Language: Java - Size: 34.2 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

dimglyn/first-order-logic

Exporting forward conclusions for Horn clauses (definitive Clauses) using first order logic

Language: Java - Size: 31.3 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

Eldrich1Herz/School-21

«Школа 21» — бесплатная школа цифровых технологий от Сбера, где может учиться любой желающий.

Language: C - Size: 2.05 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0

mathfichen/UNIF

Size: 7.54 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

rudynicolop/Type-Reconstruction

Descriptions & implementations of type-reconstruction/inference algorithms.

Language: Coq - Size: 357 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

DMaskin/robinson-unification

Robinson's Unification Algorithm of First Order Logic Terms

Language: Java - Size: 31.3 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

vipul43/CS3130_POPL_LAB

lab assignments of cs3130 course in iitpkd

Language: Standard ML - Size: 33.2 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

jdshah10/First-order-logic-resolution

Designed a self-service automated system to alert patients/customers about potential drug interactions for both prescription and over the counter drugs.

Language: Python - Size: 124 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 1

MattLloyd101/json-unify

A unification implementation for JSON.

Size: 1000 Bytes - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0