mila-iqia / snektalk
☆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:
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 6 months ago
- HTML representation for Python objects.☆16Updated 3 weeks ago
- A set of visualization engines.☆14Updated last week
- Prolog Implementation in Python☆11Updated 7 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆13Updated last year
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- various toys in j☆12Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Binary lambda calculus☆10Updated 7 years ago
- Partial evaluation of Python code☆20Updated 2 years ago
- Visual graph rewriting platform☆10Updated 3 weeks ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 2 years ago
- A Pythonic implementation of *microkanren* logic language☆10Updated 4 years ago
- okami is an application development platform☆35Updated 9 months ago
- Leibniz - a Digital Scientific Notation☆34Updated last month
- 蛇語(HEH-bee-go): An indentation-based skin for Hissp.☆24Updated 2 years ago
- An implementation of the APL language in Python with the Numpy module☆30Updated 8 years ago
- Tartarus is a multi-agent emulator for Static as well as Mobile Agents.☆18Updated 2 years ago
- Automatically exported from code.google.com/p/joypy☆28Updated 7 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- A booklet on the Smacc compiler compiler framework☆14Updated 7 months ago
- A Smalltalk in Python☆11Updated 3 years ago
- Python S-expression emulation using tuple-like objects.☆22Updated 8 months ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- debugging biological networks to reach coherence, completeness and consistency☆46Updated last year
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago