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☆46Aug 22, 2026Updated last week
- An implementation of interaction nets in JS.☆132Jul 20, 2025Updated last year
- 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☆11Jul 6, 2026Updated last month
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Apr 20, 2024Updated 2 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.
- A minimal proof checker.☆81Sep 9, 2024Updated last year
- 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
- 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
- ☆119Feb 1, 2024Updated 2 years ago
- Create "growing" animations of plants from a single photograph☆19Mar 1, 2022Updated 4 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
- Use the Python turtle to write SVG files☆19Aug 9, 2026Updated 2 weeks ago
- 3d Cellular Automata using WGPU in Rust (for the web and using compute shaders)☆37Mar 4, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Rust bindings for DirectStorage☆16Jun 22, 2026Updated 2 months ago
- A method of getting and scraping council agendas to streamline housing abundance advocacy.☆19Aug 20, 2026Updated last week
- Derive forms from structs.☆23Aug 8, 2024Updated 2 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 3 weeks ago
- The Torus Blockchain implementation.☆25Jul 7, 2026Updated last month
- Correct by construction Neural Network Implementation in Haskell 💖☆20Jun 14, 2025Updated last year
- 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 3 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.
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- Framework for artificial life and other evolutionary algorithms.☆31Sep 5, 2022Updated 3 years ago
- Dark x Molokai x Monokai theme for VSCode☆25Aug 11, 2026Updated 2 weeks ago
- WebGL Shader for Conway's Game of Life☆22Mar 5, 2023Updated 3 years ago
- No-std, no-unsafe and no-dependencies WebAssembly 1.0 runtime for Rust☆51May 21, 2026Updated 3 months 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☆26Updated this week
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated 2 years ago
- an experimental new programming language based on interaction nets☆388Updated this week
- 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.
- A LLVM-based compiled language.☆12Oct 13, 2020Updated 5 years ago
- An async allocator with Fun™️ unsafe Rust☆18Jun 4, 2023Updated 3 years ago
- A server side rendering framework for Deno CLI and Deploy. 🦟 🦕☆15Jun 22, 2022Updated 4 years ago
- National Novel Generation Month, 2023 edition.☆27Oct 2, 2024Updated last year
- MnemOS Global Networking Protocol☆16Jan 26, 2024Updated 2 years ago
- A View Model framework written in rust, inspired by Next.js.☆10May 29, 2023Updated 3 years ago
- A gpu accelerated neural network Rust crate.☆15Apr 17, 2023Updated 3 years ago