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☆47Updated this week
- An implementation of interaction nets in JS.☆133Jul 20, 2025Updated last year
- reverse engineering for v8's internal binary format☆11Apr 20, 2023Updated 3 years ago
- A minimal proof checker.☆81Sep 9, 2024Updated 2 years ago
- SergioRibera Best Beautiful Widgets☆23Feb 25, 2024Updated 2 years ago
- 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.
- ☆15Jun 2, 2025Updated last year
- 🧪 | LLVM backend for HVM☆23May 23, 2023Updated 3 years ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Aug 18, 2026Updated last month
- The Simplest Parser Library (that works) in Rust☆44Aug 6, 2024Updated 2 years ago
- A text-based game where language models learn to lie and to detect lies.☆12Oct 4, 2023Updated 2 years ago
- ☆497Jun 11, 2024Updated 2 years ago
- DevContainer setup for Google Gemini CLI with security features, inspired by Claude Code's implementation. Includes guided setup for Linu…☆15Jun 25, 2025Updated last year
- ☆120Feb 1, 2024Updated 2 years ago
- Use the Python turtle to write SVG files☆19Aug 9, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A fast, low occupancy and free toolbox for Windows and MacOS.☆24Updated this week
- Rust bindings for DirectStorage☆16Sep 7, 2026Updated last week
- A method of getting and scraping council agendas to streamline housing abundance advocacy.☆19Sep 6, 2026Updated last week
- Derive forms from structs.☆23Aug 8, 2024Updated 2 years ago
- Inpla: Interaction nets as a programming language (the current version)☆331May 3, 2026Updated 4 months ago
- Home of the NeoHaskell docs☆16Nov 9, 2025Updated 10 months ago
- 🦀 Rust solutions for Advent of Code 2021☆13Apr 26, 2022Updated 4 years ago
- WebExtension that redirects Python 2 docs to Python 3☆16Aug 13, 2025Updated last year
- An experimental language whose object system is a topos: places are pre-sheaves, values are content-addressed on the Leech lattice, and t…☆26Aug 4, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The simplest way to include a Heroku badge in your README file.☆18Jul 6, 2024Updated 2 years ago
- Example of using Yampa and GHC Wasm backend to create a simple web app.☆19May 19, 2026Updated 4 months ago
- Macro Lambda Calculus☆52Mar 23, 2019Updated 7 years ago
- WebGL Shader for Conway's Game of Life☆22Mar 5, 2023Updated 3 years ago
- Investment Frequency Calculator☆20Aug 22, 2020Updated 6 years ago
- A minimal terminal music player☆11Feb 19, 2022Updated 4 years ago
- A Minecraft mod which adds a (Bedrock-style) fade in animation to newly loaded chunks.☆21Mar 8, 2021Updated 5 years ago
- Julia MathML parser☆26Sep 11, 2026Updated last week
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- National Novel Generation Month, 2023 edition.☆27Oct 2, 2024Updated last year
- ☆36Jul 30, 2018Updated 8 years ago
- A starter template for WebGPU development using webpack☆30Apr 27, 2024Updated 2 years ago
- MnemOS Global Networking Protocol☆16Jan 26, 2024Updated 2 years ago
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets.☆75Jun 3, 2026Updated 3 months ago
- A View Model framework written in rust, inspired by Next.js.☆10May 29, 2023Updated 3 years ago
- Just Enough Devcontainers☆31Updated this week