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.☆17Updated 3 months ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 3 years ago
- Code for our ICLR Trustworthy ML 2020 workshop paper "Improved Image Wasserstein Attacks and Defenses"☆14Updated 5 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Python package used to apply NLP interactive clustering methods.☆10Updated last year
- A set of visualization engines.☆14Updated this week
- Python S-expression emulation using tuple-like objects.☆22Updated 10 months ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- ☆23Updated 4 years ago
- Extract knowledge from raw text☆13Updated 3 years ago
- Easily serialize dataclasses to and from tensors (PyTorch, NumPy)☆18Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- A MiniKanren in Python☆35Updated 9 years ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 8 months ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- Fixed-point scalar and matrix multiplication library for SectorLISP☆14Updated 3 years ago
- High-performance tokenized language data-loader for Python C++ extension☆13Updated 11 months ago
- Automatically exported from code.google.com/p/joypy☆29Updated 7 years ago
- First-Order Probabilistic Programming Language☆28Updated 6 years ago
- Building on the MLFlow toolset this project aims to extend the functionality for MLFlow, increase the automation and therefore reduce the…☆14Updated 2 years ago
- Level-up your Hypothesis tests with CrossHair☆15Updated last month
- Credici: Credal Inference for Causal Inference☆16Updated 2 months ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- Early Detection of Diabetic Retinopathy System, an application, uses machine learning to assess diabetic retinopathy risk. Input your hea…☆11Updated 10 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- A Pythonic implementation of *microkanren* logic language☆10Updated 4 years ago
- A rule engine based on Attempto Controlled English☆18Updated 8 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- debugging biological networks to reach coherence, completeness and consistency☆47Updated last year
- Machine Query Interface☆19Updated 3 weeks ago