duasfl8r / propagator.pyView external linksLinks
A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
☆36Oct 23, 2012Updated 13 years ago
Alternatives and similar repositories for propagator.py
Users that are interested in propagator.py are comparing it to the libraries listed below
Sorting:
- Visual graph rewriting platform☆10Jun 3, 2025Updated 8 months ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- A deployment of mesos via NixOps☆11Mar 8, 2015Updated 10 years ago
- The Art of the Propagator. See also:☆179Apr 1, 2024Updated last year
- The Java Graph Laboratory☆19Oct 28, 2019Updated 6 years ago
- the Art of the Propagator☆52Oct 20, 2012Updated 13 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Dec 14, 2016Updated 9 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Jan 8, 2014Updated 12 years ago
- an experimental reactive web development framework☆18Dec 30, 2025Updated last month
- Research project: Program synthesis using updated interface, template and types.☆14Dec 2, 2020Updated 5 years ago
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- The Flix Programming Book☆21Jan 25, 2026Updated 2 weeks ago
- GNU Guile Scheme bindings for OCaml☆18Aug 5, 2022Updated 3 years ago
- ☆38Sep 1, 2019Updated 6 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Mar 19, 2024Updated last year
- ☆20Jun 12, 2023Updated 2 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Jan 1, 2016Updated 10 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- Minimalistic logic programming framework☆22Feb 9, 2020Updated 6 years ago
- Fωμ type checker and compiler☆56Jan 28, 2023Updated 3 years ago
- Miscellaneous extensions to Trio, the friendly Python async I/O library☆27Aug 10, 2024Updated last year
- The Termination Problem Database☆29Aug 20, 2025Updated 5 months ago
- Simple, extensible bytecode interpreter☆26Oct 19, 2015Updated 10 years ago
- Trait support for Python 3☆25Apr 9, 2023Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 4 months ago
- Semantic flow graphs for data science☆31Sep 8, 2022Updated 3 years ago
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 2 years ago
- Open Source Braille embosser☆36Dec 27, 2025Updated last month
- Higher-order, higher-order automatic differentiation☆30Jan 24, 2020Updated 6 years ago
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆80Aug 25, 2025Updated 5 months ago
- A comprehensive command-line based pipeline for the analysis of direct injection FT-ICR mass spectrometry data☆12Feb 3, 2026Updated last week
- JSON-based FON (Feature Object Notation) format and tools to simplify genomic annotations usage☆13Jun 11, 2025Updated 8 months ago
- Probabilistic programming system for fast and exact symbolic inference☆85Jul 10, 2024Updated last year
- ☆31Mar 27, 2025Updated 10 months ago
- A module for handling continuations in Python☆32Oct 9, 2016Updated 9 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆37Jan 12, 2024Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆416Jun 21, 2022Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last week