Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction
☆42Jun 25, 2025Updated 8 months ago
Alternatives and similar repositories for deltanets
Users that are interested in deltanets are comparing it to the libraries listed below
Sorting:
- Interaction net resources☆45Jan 29, 2026Updated last month
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 3 weeks ago
- fast parallel file copy for Plan 9☆14Nov 2, 2023Updated 2 years ago
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 3 months ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆50Feb 26, 2026Updated last week
- A bibliography framework for SATySFi.☆23Jan 6, 2023Updated 3 years ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Feb 25, 2026Updated last week
- fuzzy matching selection gui☆25Aug 13, 2023Updated 2 years ago
- A cyclic theorem prover framework.☆32Aug 21, 2025Updated 6 months ago
- CN separation logic refinement type system for C☆46Feb 16, 2026Updated 2 weeks ago
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Jun 27, 2025Updated 8 months ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 2 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆45Jan 24, 2026Updated last month
- Android Open Accessory proxy to connect Android devices to Linux based systems☆13Dec 26, 2025Updated 2 months ago
- Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabiliti…☆23Nov 11, 2025Updated 3 months ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆34Feb 25, 2026Updated last week
- (FR) Apprendre les concepts de la programmation en Java☆16Mar 1, 2021Updated 5 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆11Sep 30, 2024Updated last year
- ☆11Oct 7, 2023Updated 2 years ago
- Photonic Quantum Machine Learning Framework☆19Feb 18, 2026Updated 2 weeks ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆46Jan 9, 2023Updated 3 years ago
- netsurf☆45Jul 6, 2024Updated last year
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- Aggressive MCTS chess engine.☆15Updated this week
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- 9P kernel modules☆10Aug 25, 2014Updated 11 years ago
- Introspective Systems, developer of xGraph, collaborative AI platform for data systems☆14Oct 1, 2025Updated 5 months ago
- Dis interpreter by Rob Pike☆13Sep 3, 2020Updated 5 years ago
- Wiki For Camlunity☆13Feb 12, 2015Updated 11 years ago
- A shareable Renovate config for Cybozu☆11Updated this week
- ☆11Jul 4, 2022Updated 3 years ago
- An Auth0 extension that provides a webhook functionality to Auth0's Management API☆11Feb 5, 2019Updated 7 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- ☆18Mar 31, 2015Updated 10 years ago