ptarau/TypesAndProofs

Stars
26
Rank 930,752 (Top 19 %)
Language
Prolog
License
Apache License 2.0
Created over 6 years ago
Updated over 1 year ago

ptarau/TypesAndProofs

ptarau

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

DeepRank

A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algorithm like *PageRank*, can extract relevant keywords and summaries from text documents.

iProlog

Java-based lightweight Prolog virtual machine

pypro

Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python

binprolog

Fast, simplified WAM-based Prolog system

recursors

Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles

StanzaGraphs

Multilingual STANZA-based Summary and Keyword Extractor and Question-Answering System using TextGraphs and Neural Networks

play

A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations

natlog

Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools

pytalk

Python-based summary and keyword extractor and question answering system with optional BERT-based post-processing filter and spoken output

PrologTutorial

A Prolog Tutorial with Focus on Solving Interesting Problems

LogicTransformers

Transformers from Horn Clause Programs to Code Running on Lightweight Python, Swift, Julia and C-based VMs

neuralgs

Experiments with neural networks learning theorem proving and complex recursion-heavy algorithms

PythonProvers

Intuitionistic Theorem Provers and Formula Generators in Python

AnswerStreamGenerators

Literate Prolog program and LaTeX sources for paper on Answer Stream Generators

LeanProlog

sumbert

Abstractive BERT-based Text Summarizer

TextGraphCrafts

Python-based summary, keyphrase and relation extractor from text documents using dependency graphs

DeepTalk

A Python+Prolog based Dialog Engine using the Python package text_graph_crafts that extracts the highest ranked sentences answering a query

sudoku_in_style

Generic Sudoku solvers and generators in Python and Prolog, coded with elegance in mind

PyPL

Programming Language Concepts in Python

jinniprolog

Automatically exported from code.google.com/p/jinniprolog

PyDS

Data Structures and Algorithms in Python

kernel-prolog

Automatically exported from code.google.com/p/kernel-prolog

Giant-Numbers-in-Haskell

Hereditarily Binary Numbers - a tree representation of giant numbers with a complete set of arithmetic operations

Tree-based-Arithmetic-Systems-in-Haskell

Arithmetic computations with tree-based systems, supporting very large, super-exponential numbers

CrackerBarrelPegPuzzle

Python code solving the puzzle at: https://shop.crackerbarrel.com/toys-games/games/travel-games/peg-game/606154

Tree-based-Arithmetic-Systems-in-Python

Arithmetic Systems Using Trees Instead of Bit-strings. Scale up to computations with very large, super-exponential numbers.