mila-iqia / snektalkLinks
☆15Updated 3 years ago
Alternatives and similar repositories for snektalk
Users that are interested in snektalk are comparing it to the libraries listed below
Sorting:
- HTML representation for Python objects.☆16Updated 2 months ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 8 months ago
- Extract knowledge from raw text☆13Updated 3 years ago
- Implementation of different variants of Parseval metric☆15Updated 10 years ago
- A set of visualization engines.☆14Updated last week
- Python S-expression emulation using tuple-like objects.☆23Updated 9 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated 4 months ago
- ☆20Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Automatically exported from code.google.com/p/joypy☆29Updated 7 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Prolog Implementation in Python☆11Updated 7 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- A MiniKanren in Python☆35Updated 8 years ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆14Updated 3 years ago
- A Pythonic implementation of *microkanren* logic language☆10Updated 4 years ago
- Python package used to apply NLP interactive clustering methods.☆10Updated last year
- ASCII back-end for matplotlib☆21Updated 9 years ago
- Level-up your Hypothesis tests with CrossHair☆14Updated 2 weeks ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 3 years ago
- Visual graph rewriting platform☆10Updated 3 weeks ago
- Produce animated SVG from recorded script sessions☆21Updated 9 years ago
- metaprogramming for don't-repeat-yourself Python☆24Updated 6 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- An automated approach to the Collatz conjecture☆13Updated last year
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- ☆9Updated 2 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago