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. 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☆44May 29, 2026Updated last month
- Language server for the Bend programming language☆17Oct 18, 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 6 years ago
- Functional Lenses in C++☆21Jul 31, 2011Updated 14 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An implementation of interaction nets in JS.☆134Jul 20, 2025Updated 11 months ago
- reverse engineering for v8's internal binary format☆11Apr 20, 2023Updated 3 years ago
- Toy renderer to learn wgpu and computer graphics built with bevy☆11Dec 26, 2025Updated 6 months ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Apr 20, 2024Updated 2 years ago
- 🧪 | LLVM backend for HVM☆23May 23, 2023Updated 3 years ago
- Native JavaScript prototype extension with symbol protocols☆15Updated this week
- The Simplest Parser Library (that works) in Rust☆44Aug 6, 2024Updated last year
- ☆496Jun 11, 2024Updated 2 years ago
- A text-based game where language models learn to lie and to detect lies.☆12Oct 4, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆120Feb 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 11 years ago
- mini C compiler / interpreter for VM in 512 lines C program☆46Jan 5, 2024Updated 2 years ago
- Derive forms from structs.☆23Aug 8, 2024Updated last year
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- A method of getting and scraping council agendas to streamline housing abundance advocacy.☆18Apr 7, 2026Updated 2 months ago
- Fast floating point to string conversion that complies to the ECMAScript number-to-string algorithm☆28Updated this week
- Macro Lambda Calculus☆51Mar 23, 2019Updated 7 years ago
- WebGL Shader for Conway's Game of Life☆22Mar 5, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A minimal terminal music player☆11Feb 19, 2022Updated 4 years ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Jun 18, 2026Updated last week
- Additional 3rd party software used in Playbit. See playbit/public for most 3rd party software☆14Jul 14, 2025Updated 11 months ago
- A Minecraft mod which adds a (Bedrock-style) fade in animation to newly loaded chunks.☆21Mar 8, 2021Updated 5 years ago
- No-std, no-unsafe and no-dependencies WebAssembly 1.0 runtime for Rust☆47May 21, 2026Updated last month
- A LLVM-based compiled language.☆12Oct 13, 2020Updated 5 years ago
- National Novel Generation Month, 2023 edition.☆27Oct 2, 2024Updated last year
- An async allocator with Fun™️ unsafe Rust☆18Jun 4, 2023Updated 3 years ago
- From-scratch kernel built to serve web pages☆30Sep 27, 2025Updated 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- MnemOS Global Networking Protocol☆16Jan 26, 2024Updated 2 years ago
- A math library specialized for 2d screen graphics.☆14Feb 28, 2025Updated last year
- A gpu accelerated neural network Rust crate.☆15Apr 17, 2023Updated 3 years ago
- A TCP Socket library for Deno☆10Sep 19, 2023Updated 2 years ago
- Interaction net resources☆53Mar 25, 2026Updated 3 months ago
- A blog about Coq☆46Apr 12, 2022Updated 4 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆61May 26, 2021Updated 5 years ago