breuleux / ovld

Related projects: ⓘ

• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆12Updated last week
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆10Updated last year
• mila-iqia / snektalk
  ☆15Updated 2 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated last year
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆13Updated 4 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• massimo-nocentini / microkanrenpy
  A Pythonic implementation of *microkanren* logic language
  ☆9Updated 3 years ago
• fritzo / pomagma
  An inference engine for extensional untyped λ-calculus
  ☆17Updated last year
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 2 weeks ago
• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• riswords / quiche
  ☆21Updated last year
• epython-dev / epython
  EPython is a typed-subset of the Python for extending the language new builtin types and methods
  ☆40Updated 2 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆35Updated 5 months ago
• windelbouwman / pyspeedscope
  ☆14Updated 3 years ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆36Updated 6 months ago
• Technologicat / pydialect
  Build languages on Python.
  ☆12Updated 3 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• owlbarn / owl_symbolic
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆18Updated 2 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 7 years ago
• HIPS / DESI-MCMC
  MCMC for the Dark Energy Spectroscopic Instrument
  ☆13Updated 8 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆11Updated this week
• breuleux / hrepr
  HTML representation for Python objects.
  ☆15Updated last week
• vasilisp / inez
  A Constraint Solver
  ☆12Updated 8 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆21Updated 3 months ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆15Updated last year
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 2 years ago