grammarly / gr-parseval
Implementation of different variants of Parseval metric
☆15Updated 9 years ago
Related projects: ⓘ
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆15Updated 3 months ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Chatbot impls in Prolog☆14Updated 2 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- Simple NLP toolkit for an undergraduate class.☆13Updated 9 years ago
- Task-parallelism library for Common Lisp☆17Updated 12 years ago
- ☆23Updated this week
- A MiniKanren in Python☆36Updated 8 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆11Updated 2 years ago
- A CLOS implementation of an in memory hypergraph database and semantic networks.☆10Updated 3 years ago
- A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge (facts) from text.☆18Updated 7 years ago
- A rule engine based on Attempto Controlled English☆18Updated 11 months ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 3 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 9 months ago
- Common Lisp implementation of various AI/statistics related things.☆16Updated last year
- A collection of libraries in Scheme☆12Updated 3 years ago
- Summer Scheming!!!!!!☆11Updated 4 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 9 years ago
- A distributed lisp virtual machine☆13Updated 2 years ago
- Artificial Neural Network implementation in Common Lisp☆9Updated 5 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 8 years ago
- debugging biological networks to reach coherence, completeness and consistency☆42Updated 7 months ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆27Updated 8 years ago
- Winning bot of Planet Wars Google AI Challenge in 2010.☆15Updated 2 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆32Updated 11 years ago
- ☆14Updated this week
- A Pythonic implementation of *microkanren* logic language☆9Updated 3 years ago
- Shen KLambda to KLVM translator.☆29Updated 8 years ago