mila-iqia / snektalk

Related projects ⓘ

Alternatives and complementary repositories for snektalk

• breuleux / hrepr
  HTML representation for Python objects.
  ☆16Updated 3 weeks ago
• calroc / joypy
  Automatically exported from code.google.com/p/joypy
  ☆27Updated 6 years ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆20Updated 2 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 5 months ago
• hristo-vrigazov / py-import-tree
  Analyzing the tree of imports of running Python code.
  ☆12Updated last year
• sevazhidkov / ipython-profile
  A slightly opinionated iPython profile for interactive development
  ☆24Updated 2 years ago
• domitry / matascii
  ASCII back-end for matplotlib
  ☆21Updated 8 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• textX / viewX-vscode
  A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.
  ☆12Updated 6 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 6 years ago
• rougier / unknown-pleasures
  Matplotlib animation from the Unknown Pleasures album cover (Joy Division)
  ☆26Updated 3 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 2 months ago
• massimo-nocentini / microkanrenpy
  A Pythonic implementation of *microkanren* logic language
  ☆9Updated 3 years ago
• ffevotte / script2svg
  Produce animated SVG from recorded script sessions
  ☆21Updated 9 years ago
• metadsl / python-code-data
  Translate Python's bytecode to data and back again...
  ☆18Updated 3 weeks ago
• asemic-horizon / sursis
  A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.
  ☆22Updated 2 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated 3 months ago
• amyjko / citrus-barista
  A programming language and user interface toolkit for creating structured editors.
  ☆19Updated last month
• jermp / tongrams_estimation
  A C++ library implementing fast language models estimation using the 1-Sort algorithm.
  ☆17Updated last year
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• a-nikolaev / study-in-scarlet
  A simple Unix-friendly toolkit for plagiarism detection.
  ☆18Updated 4 years ago
• rougier / VSOM
  Randomize Self Organizing map
  ☆24Updated 3 years ago
• rmascarenhas / foppl
  First-Order Probabilistic Programming Language
  ☆27Updated 5 years ago
• juliendelplanque / Python3Generator
  A toolkit to generate Python 3 source code from Pharo.
  ☆26Updated 9 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆18Updated this week
• breck7 / pytree
  Tree Notation Python Library
  ☆14Updated last year
• stereobooster / wisp
  Mirror of https://hg.sr.ht/~arnebab/wisp
  ☆11Updated 3 years ago
• SquareBracketAssociates / Booklet-Smacc
  A booklet on the Smacc compiler compiler framework
  ☆14Updated last month