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:
- ☆14Jun 2, 2025Updated 8 months ago
- GPU-based interaction nets evaluator☆17Nov 30, 2011Updated 14 years ago
- The Simplest Parser Library (that works) in Rust☆44Aug 6, 2024Updated last year
- The Torus Blockchain implementation.☆24Feb 19, 2026Updated last week
- A minimal proof checker.☆79Sep 9, 2024Updated last year
- 🧪 | LLVM backend for HVM☆23May 23, 2023Updated 2 years ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Updated this week
- learning cuda☆19Jun 27, 2016Updated 9 years ago
- Derive forms from structs.☆22Aug 8, 2024Updated last year
- SergioRibera Best Beautiful Widgets☆24Feb 25, 2024Updated 2 years ago
- Julia MathML parser☆26Jan 9, 2026Updated last month
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- Neo4j Bolt driver for Julia supports Neo4j 3.0 and above☆29Nov 6, 2021Updated 4 years ago
- ☆120Feb 1, 2024Updated 2 years ago
- ☆44Updated this week
- EOSIO-Taurus - The Most Powerful Infrastructure for Decentralized Applications☆13Mar 29, 2024Updated last year
- Package for parsing XBRL☆10Jul 3, 2022Updated 3 years ago
- 3d Cellular Automata using WGPU in Rust (for the web and using compute shaders)☆37Mar 4, 2025Updated 11 months ago
- ☆14Updated this week
- A minimal terminal music player☆11Feb 19, 2022Updated 4 years ago
- A TCP Socket library for Deno☆10Sep 19, 2023Updated 2 years ago
- Combinatorial game library in Lean 4☆56Updated this week
- ☆35Jul 30, 2018Updated 7 years ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated last week
- Use Rust in React Native through WebAssembly☆11Jan 7, 2023Updated 3 years ago
- ☆11Nov 10, 2025Updated 3 months ago
- A JavaScript library for writing and testing brigade.js files for Brigade v1☆13Jun 1, 2022Updated 3 years ago
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Feb 22, 2026Updated last week
- The Master Object Model (MOM) is an xAPI profile that denotes how a student's learning can be tracked throught their entire "lifetime" wi…☆12Jul 3, 2025Updated 7 months ago
- A high-performance library for gradient based quantum optimal control☆12Jun 23, 2023Updated 2 years ago
- ☆43Sep 8, 2024Updated last year
- ☆495Jun 11, 2024Updated last year
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆60May 26, 2021Updated 4 years ago
- No-std, no-unsafe and no-dependencies WebAssembly 1.0 runtime for Rust☆46Jul 16, 2024Updated last year
- ☯ A frontend tool for easily writing UI components. Cell encourages the use of event handlers and signals (Demo: https://kt3k.github.io/c…☆18Dec 2, 2025Updated 2 months ago
- Official Implementation of the CVPR'23 paper 'Regularization of polynomial networks for image recognition'.☆10Jun 8, 2023Updated 2 years ago
- ☆10Sep 26, 2024Updated last year
- Multi-person podcast audio to videocast☆10Sep 28, 2024Updated last year
- A creative coding environment where Claude can express itself through generative art using p5.js. See tweet thread for examples: https://…☆13Feb 3, 2026Updated 3 weeks ago