GPU-based interaction nets evaluator
☆17Nov 30, 2011Updated 14 years ago
Alternatives and similar repositories for ingpu
Users that are interested in ingpu are comparing it to the libraries listed below
Sorting:
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- Language server for the Bend programming language☆17Oct 18, 2024Updated last year
- A small inline caching demo.☆15Feb 1, 2023Updated 3 years ago
- A little just-in-time compiler thing☆18Sep 28, 2018Updated 7 years ago
- Haskell implementation of interaction net-based lambda evaluation☆21Jun 24, 2016Updated 9 years ago
- An interaction combinator runtime☆18Sep 23, 2024Updated last year
- OCaml library for manipulating context-free grammars☆20Nov 28, 2025Updated 3 months ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- 🧪 | LLVM backend for HVM☆23May 23, 2023Updated 2 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆85Feb 17, 2017Updated 9 years ago
- Type-Level Lambda Calculus interpreter with TypeScript☆17Jan 14, 2023Updated 3 years ago
- Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.☆28Mar 26, 2019Updated 6 years ago
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆29Jan 24, 2024Updated 2 years ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Apr 20, 2024Updated last year
- Scala implementation of ILC, with benchmarks☆27Jul 5, 2016Updated 9 years ago
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- Inpla: Interaction nets as a programming language (the current version)☆325Jan 11, 2026Updated last month
- Lecture notes on realizability☆75Feb 21, 2025Updated last year
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated 8 months ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Jun 26, 2009Updated 16 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- ☆36Jul 30, 2018Updated 7 years ago
- Error-free transformations are used to get results with extra accuracy.☆15Jan 20, 2025Updated last year
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated last week
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- ☆12Nov 22, 2024Updated last year
- Prangster tool from the Black Hat USA 2013 presentation "Black-Box Assessment of Pseudorandom Algorithms" by Derek Soeder, Christopher Ab…☆11Jul 9, 2014Updated 11 years ago
- Relation algebra library for Coq☆50Feb 17, 2026Updated last week
- company-mode completion backend for Elixir.☆13Sep 13, 2020Updated 5 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- Machine output for Mix tasks☆17Mar 23, 2023Updated 2 years ago
- How to make these slides - Instructions for making these slides and the editor for it☆10Dec 27, 2018Updated 7 years ago
- Yegappan Lakshmanan's scratch.vim plugin☆34Mar 16, 2010Updated 15 years ago
- ☆10Apr 25, 2025Updated 10 months ago
- ☆11May 8, 2019Updated 6 years ago