An interaction combinator runtime
☆18Sep 23, 2024Updated last year
Alternatives and similar repositories for ic
Users that are interested in ic are comparing it to the libraries listed below
Sorting:
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆44Mar 13, 2026Updated last week
- Language server for the Bend programming language☆17Oct 18, 2024Updated last year
- An Encoding of Interaction Nets in OCaml☆10Jul 3, 2024Updated last year
- GPU-based interaction nets evaluator☆18Nov 30, 2011Updated 14 years ago
- An interpreter for the While language written in Haskell☆14Mar 26, 2020Updated 5 years ago
- An implementation of interaction nets in JS.☆132Jul 20, 2025Updated 8 months ago
- reverse engineering for v8's internal binary format☆11Apr 20, 2023Updated 2 years ago
- Toy renderer to learn wgpu and computer graphics built with bevy☆11Dec 26, 2025Updated 2 months ago
- A minimal proof checker.☆80Sep 9, 2024Updated last year
- Rust bindings for DirectStorage☆14Mar 12, 2026Updated last week
- ☆14Jun 2, 2025Updated 9 months ago
- The Simplest Parser Library (that works) in Rust☆44Aug 6, 2024Updated last year
- ☆496Jun 11, 2024Updated last year
- A text-based game where language models learn to lie and to detect lies.☆12Oct 4, 2023Updated 2 years ago
- Create "growing" animations of plants from a single photograph☆19Mar 1, 2022Updated 4 years ago
- ☆121Feb 1, 2024Updated 2 years ago
- Simple CLI tool writen in Python allowing to export words gathered by the vocabulary builder on a Kindle device.☆11Jun 27, 2015Updated 10 years ago
- Derive forms from structs.☆22Aug 8, 2024Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆326Updated this week
- Use the Python turtle to write SVG files☆15Feb 20, 2026Updated last month
- A fast, low occupancy and free toolbox for Windows and MacOS.☆22Mar 2, 2026Updated 2 weeks ago
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- Framework for artificial life and other evolutionary algorithms.☆31Sep 5, 2022Updated 3 years ago
- Fast floating point to string conversion that complies to the ECMAScript number-to-string algorithm☆25Feb 28, 2026Updated 2 weeks ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- Macro Lambda Calculus☆50Mar 23, 2019Updated 6 years ago
- Investment Frequency Calculator☆21Aug 22, 2020Updated 5 years ago
- A minimal terminal music player☆11Feb 19, 2022Updated 4 years ago
- Additional 3rd party software used in Playbit. See playbit/public for most 3rd party software☆12Jul 14, 2025Updated 8 months ago
- Julia MathML parser☆26Jan 9, 2026Updated 2 months ago
- A LLVM-based compiled language.☆12Oct 13, 2020Updated 5 years ago
- No-std, no-unsafe and no-dependencies WebAssembly 1.0 runtime for Rust☆46Jul 16, 2024Updated last year
- A high-performance, thread-safe HashMap and LRU cache for Rust with fine-grained per-key locking.☆15Mar 10, 2026Updated last week
- A server side rendering framework for Deno CLI and Deploy. 🦟 🦕☆15Jun 22, 2022Updated 3 years ago
- Interaction net resources☆45Jan 29, 2026Updated last month
- National Novel Generation Month, 2023 edition.☆27Oct 2, 2024Updated last year
- ☆36Jul 30, 2018Updated 7 years ago
- From-scratch kernel built to serve web pages☆28Sep 27, 2025Updated 5 months ago
- A starter template for WebGPU development using webpack☆30Apr 27, 2024Updated last year