-
recursors Public
Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
-
binprolog Public
Fast, simplified WAM-based Prolog system
-
-
AgenticProlog Public
Agentic Framework using a Java-base Prolog
-
-
-
-
sentify Public
A tool that converts documents to clean one sentence per line text files ready for NLP and Generative AI processing
-
sentence_store Public
extract and store sentence embeddings to a fast and scalable vector db
Python MIT License UpdatedSep 11, 2024 -
pdf_ocr_txt Public
Applies OCR to a PDF file and extracts its content to a TXT file.
Python MIT License UpdatedAug 25, 2024 -
iProlog Public
Java-based lightweight Prolog virtual machine
-
natlog Public
Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
-
TypesAndProofs Public
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
-
generalized_game_of_24 Public
Solver and generator for generalized game of 24
-
vecstore Public
Dynamically expandable Vector Store for embeddings, using the HNSW library
Python MIT License UpdatedMar 24, 2024 -
StanzaGraphs Public
Multilingual STANZA-based Summary and Keyword Extractor and Question-Answering System using TextGraphs and Neural Networks
-
-
Arithmetic Systems Using Trees Instead of Bit-strings. Scale up to computations with very large, super-exponential numbers.
-
DeepRank Public
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 sum…
-
DeepTalk Public
A Python+Prolog based Dialog Engine using the Python package text_graph_crafts that extracts the highest ranked sentences answering a query
-
PythonProvers Public
Intuitionistic Theorem Provers and Formula Generators in Python
-
pypro Public
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
-
PyPL Public
Programming Language Concepts in Python
-
PrologTutorial Public
A Prolog Tutorial with Focus on Solving Interesting Problems
-
-
LogicTransformers Public
Transformers from Horn Clause Programs to Code Running on Lightweight Python, Swift, Julia and C-based VMs
-
neuralgs Public
Experiments with neural networks learning theorem proving and complex recursion-heavy algorithms
-
sudoku_in_style Public
Generic Sudoku solvers and generators in Python and Prolog, coded with elegance in mind
-
CrackerBarrelPegPuzzle Public
Python code solving the puzzle at: https://shop.crackerbarrel.com/toys-games/games/travel-games/peg-game/606154
-
{{ message }}