π A collection of resources about interaction nets
β40Jun 9, 2026Updated 4 months ago
Alternatives and similar repositories for interaction-net-resources
Users that are interested in interaction-net-resources are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a libβ11Oct 16, 2025Updated last year
- A LΓ©vy-optimal lambda calculus reducer with a backdoor to Cβ50Oct 6, 2026Updated 3 weeks ago
- Interaction net resourcesβ62Mar 25, 2026Updated 7 months ago
- Ξ-Nets: Interaction-Based System for Optimal Parallel Ξ»-Reductionβ57Jul 22, 2026Updated 3 months ago
- Martin-LΓΆf Extensible Specification and Simulatorβ29Jul 1, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetupβ16Dec 13, 2018Updated 7 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.β138Aug 7, 2026Updated 2 months ago
- A programmable virtual CPU written in untyped lambda calculusβ72Oct 20, 2022Updated 4 years ago
- effects, but optimalβ16Jan 9, 2026Updated 9 months ago
- An Encoding of Interaction Nets in OCamlβ10Jul 3, 2024Updated 2 years ago
- A simple S-Expression parser for rust TokenStreamsβ15Nov 23, 2025Updated 11 months ago
- Category theory formalized in cubical agdaβ22Feb 16, 2020Updated 6 years ago
- operating system but in effekt (poc)β18Sep 16, 2026Updated last month
- β23Jul 1, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Coq development of the theory of Indexed W types with function extensionality.β11Sep 13, 2017Updated 9 years ago
- Asynchronous type-checking for Agda 2.6.2.β23Oct 5, 2026Updated 3 weeks ago
- A simple implementation of linear type theoryβ40Apr 21, 2017Updated 9 years ago
- An implementation of interaction nets as a forth-like language.β46Oct 26, 2026Updated last week
- FX is a compiler, proof assistant and a programming language built on graded dependent type theoryβ44Jul 21, 2026Updated 3 months ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -β¦β13Sep 22, 2020Updated 6 years ago
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in Cβ¦β10Dec 16, 2024Updated last year
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.β23Oct 2, 2026Updated last month
- My take on writing 'Ray Tracing in One Weekend' with Haskellβ15Aug 16, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Notes written while consulting for the Higher Order Companyβ17Sep 27, 2025Updated last year
- Logical relation for predicative CC omega with booleans and an intensional identity typeβ12Apr 22, 2025Updated last year
- Inpla: Interaction nets as a programming language (the current version)β334May 3, 2026Updated 6 months ago
- An English translation of Deligne's three "Hodge theory" papersβ15Sep 21, 2026Updated last month
- Decentralized Software Organismsβ16May 16, 2022Updated 4 years ago
- Implementation of dependent type theory in SWI-Prologβ10Oct 6, 2020Updated 6 years ago
- A well typed by construction kernel language for bidirectional programmingβ14Jan 2, 2025Updated last year
- Complexity analysis in Leanβ10Feb 5, 2024Updated 2 years ago
- EigenTrust implementation in Goβ11Aug 31, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- My Agda/Mikan stuffβ13Oct 23, 2026Updated last week
- Par (β ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.β819Oct 19, 2026Updated 2 weeks ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.β21Jul 4, 2023Updated 3 years ago
- β12Jan 2, 2023Updated 3 years ago
- an encoding of affine effect handlers using pthreadsβ14Nov 15, 2022Updated 3 years ago
- typed/racket + effect systemβ11Aug 31, 2025Updated last year
- A typechecker and lazy interpreter for System Uβ12Jun 7, 2026Updated 4 months ago