ptarau/recursors ptarau/recursors

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Python
  • License
    GNU General Publi...
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ptarau/recursors
github

ptarau

Reviews

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

Repository Details

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

More Repositories

1

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.
Python
31
star
2

iProlog

Java-based lightweight Prolog virtual machine
Java
28
star
3

TypesAndProofs

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Prolog
26
star
4

pypro

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

binprolog

Fast, simplified WAM-based Prolog system
C
15
star
6

StanzaGraphs

Multilingual STANZA-based Summary and Keyword Extractor and Question-Answering System using TextGraphs and Neural Networks
Python
9
star
7

play

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

natlog

Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
Python
7
star
9

pytalk

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

PrologTutorial

A Prolog Tutorial with Focus on Solving Interesting Problems
Prolog
7
star
11

LogicTransformers

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

neuralgs

Experiments with neural networks learning theorem proving and complex recursion-heavy algorithms
Python
6
star
13

PythonProvers

Intuitionistic Theorem Provers and Formula Generators in Python
Python
5
star
14

AnswerStreamGenerators

Literate Prolog program and LaTeX sources for paper on Answer Stream Generators
TeX
5
star
15

LeanProlog

Prolog
4
star
16

sumbert

Abstractive BERT-based Text Summarizer
Python
4
star
17

TextGraphCrafts

Python-based summary, keyphrase and relation extractor from text documents using dependency graphs
Prolog
4
star
18

DeepTalk

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

sudoku_in_style

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

PyPL

Programming Language Concepts in Python
Python
2
star
21

jinniprolog

Automatically exported from code.google.com/p/jinniprolog
Java
2
star
22

PyDS

Data Structures and Algorithms in Python
Python
2
star
23

kernel-prolog

Automatically exported from code.google.com/p/kernel-prolog
HTML
2
star
24

Giant-Numbers-in-Haskell

Hereditarily Binary Numbers - a tree representation of giant numbers with a complete set of arithmetic operations
Haskell
2
star
25

Tree-based-Arithmetic-Systems-in-Haskell

Arithmetic computations with tree-based systems, supporting very large, super-exponential numbers
Haskell
1
star
26

CrackerBarrelPegPuzzle

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

Tree-based-Arithmetic-Systems-in-Python

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