ptarau/PyDS

Stars
2
Language
Python
License
Apache License 2.0
Created about 5 years ago
Updated almost 5 years ago

ptarau/PyDS

ptarau

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

Data Structures and Algorithms in Python

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

TypesAndProofs

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

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

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.