mila-iqia / snektalk

Related projects: ⓘ

• breuleux / ovld
  Advanced multiple dispatch for Python functions
  ☆10Updated this week
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated last month
• breuleux / hrepr
  HTML representation for Python objects.
  ☆15Updated last week
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆15Updated 3 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated 8 months ago
• massimo-nocentini / microkanrenpy
  A Pythonic implementation of *microkanren* logic language
  ☆9Updated 3 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated last year
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 6 years ago
• penrose / penrose-python
  ☆18Updated this week
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆12Updated 11 months ago
• windelbouwman / pyspeedscope
  ☆14Updated 3 years ago
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆11Updated 2 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 3 months ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆14Updated last year
• calroc / joypy
  Automatically exported from code.google.com/p/joypy
  ☆27Updated 6 years ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆12Updated last week
• textX / viewX-vscode
  A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.
  ☆12Updated 6 years ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆20Updated 2 years ago
• asemic-horizon / sursis
  A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.
  ☆23Updated 2 years ago
• MikeInnes / BrainForth
  An Impractical Stack Language
  ☆13Updated 4 years ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 4 years ago
• grammarly / gr-parseval
  Implementation of different variants of Parseval metric
  ☆15Updated 9 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆12Updated 3 years ago
• leahneukirchen / te
  tiny emacs
  ☆24Updated 2 years ago
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆16Updated last week
• feenkcom / gtoolkit-vm
  Client side Rust implementation of the Glamorous Toolkit VM
  ☆10Updated last week
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated last week