π A collection of resources about interaction nets
β39Jun 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 LΓ©vy-optimal lambda calculus reducer with a backdoor to Cβ49Oct 6, 2026Updated last week
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.β136Aug 7, 2026Updated 2 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetupβ16Dec 13, 2018Updated 7 years ago
- An Encoding of Interaction Nets in OCamlβ10Jul 3, 2024Updated 2 years ago
- Martin-LΓΆf Extensible Specification and Simulatorβ29Jul 1, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A simple S-Expression parser for rust TokenStreamsβ16Nov 23, 2025Updated 10 months ago
- FX is a compiler, proof assistant and a programming language built on graded dependent type theoryβ44Jul 21, 2026Updated 2 months ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.β23Oct 2, 2026Updated last week
- Language mixing functional programming and Ambient Calculusβ13Dec 10, 2024Updated last year
- Interaction net resourcesβ62Mar 25, 2026Updated 6 months ago
- scaffolding for my c projectsβ12Apr 28, 2019Updated 7 years ago
- An implementation of interaction nets as a forth-like language.β46Nov 16, 2025Updated 10 months ago
- My take on writing 'Ray Tracing in One Weekend' with Haskellβ15Aug 16, 2025Updated last year
- Logical relation for predicative CC omega with booleans and an intensional identity typeβ12Apr 22, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Decentralized Software Organismsβ16May 16, 2022Updated 4 years ago
- β25Aug 19, 2026Updated last month
- Pushing BSD-make to places it was not designed for.β24Jul 4, 2026Updated 3 months ago
- an encoding of affine effect handlers using pthreadsβ14Nov 15, 2022Updated 3 years ago
- A safe & fast low-level language.β13Mar 5, 2026Updated 7 months ago
- Implementation of dependent type theory in SWI-Prologβ10Oct 6, 2020Updated 6 years ago
- Complexity analysis in Leanβ10Feb 5, 2024Updated 2 years ago
- β31Nov 26, 2025Updated 10 months ago
- An interactive Agda tutorialβ28Oct 6, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Keyboard, Video, Mouse driver for console mode programming in Jβ15Mar 21, 2024Updated 2 years ago
- Agda to C compilerβ11Sep 23, 2025Updated last year
- Yet Another deep embedding of Linear Logic in Rocqβ17Apr 13, 2026Updated 6 months ago
- Ξ-Nets: Interaction-Based System for Optimal Parallel Ξ»-Reductionβ57Jul 22, 2026Updated 2 months ago
- Implementations of various toy programming languagesβ11Apr 19, 2018Updated 8 years ago
- β12Jun 13, 2023Updated 3 years ago
- Category Theory in Programmingβ14Jan 22, 2026Updated 8 months ago
- Formalising Turing Machines In Coq (bachelor's thesis)β12Jul 5, 2023Updated 3 years ago
- A scheme implementation with QT and higher maths support.β24Oct 4, 2026Updated last week
- 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.
- ι¦ηΌ: A Note System Powered by Typstβ19Aug 12, 2026Updated 2 months ago
- Faceted execution in Racketβ12Sep 11, 2018Updated 8 years ago
- A small embeddable Lisp for the Zig ecosystem Ξ»β30Updated this week
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.β17Dec 10, 2019Updated 6 years ago
- an experimental new programming language based on interaction netsβ397Sep 28, 2026Updated 2 weeks ago
- β18May 1, 2020Updated 6 years ago
- An optimizing brainf*ck compiler with multiple target backends: JVM, smali, dex, C, LLVM IR, ARM, WASM, JavaScript and Lox.β12Sep 27, 2023Updated 3 years ago