There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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 machineTypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problemspypro
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Pythonbinprolog
Fast, simplified WAM-based Prolog systemrecursors
Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner OraclesStanzaGraphs
Multilingual STANZA-based Summary and Keyword Extractor and Question-Answering System using TextGraphs and Neural Networksplay
A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computationsnatlog
Lightweight Prolog-like system designed to smoothly interoperate with deep learning toolspytalk
Python-based summary and keyword extractor and question answering system with optional BERT-based post-processing filter and spoken outputPrologTutorial
A Prolog Tutorial with Focus on Solving Interesting ProblemsLogicTransformers
Transformers from Horn Clause Programs to Code Running on Lightweight Python, Swift, Julia and C-based VMsneuralgs
Experiments with neural networks learning theorem proving and complex recursion-heavy algorithmsPythonProvers
Intuitionistic Theorem Provers and Formula Generators in PythonAnswerStreamGenerators
Literate Prolog program and LaTeX sources for paper on Answer Stream GeneratorsLeanProlog
sumbert
Abstractive BERT-based Text SummarizerTextGraphCrafts
Python-based summary, keyphrase and relation extractor from text documents using dependency graphsDeepTalk
A Python+Prolog based Dialog Engine using the Python package text_graph_crafts that extracts the highest ranked sentences answering a querysudoku_in_style
Generic Sudoku solvers and generators in Python and Prolog, coded with elegance in mindPyPL
Programming Language Concepts in Pythonjinniprolog
Automatically exported from code.google.com/p/jinniprologPyDS
Data Structures and Algorithms in Pythonkernel-prolog
Automatically exported from code.google.com/p/kernel-prologGiant-Numbers-in-Haskell
Hereditarily Binary Numbers - a tree representation of giant numbers with a complete set of arithmetic operationsTree-based-Arithmetic-Systems-in-Haskell
Arithmetic computations with tree-based systems, supporting very large, super-exponential numbersTree-based-Arithmetic-Systems-in-Python
Arithmetic Systems Using Trees Instead of Bit-strings. Scale up to computations with very large, super-exponential numbers.Love Open Source and this site? Check out how you can help us