ruehlef / ribbonView external linksLinks
Code that searches for ribbon bands
☆18Jan 28, 2025Updated last year
Alternatives and similar repositories for ribbon
Users that are interested in ribbon are comparing it to the libraries listed below
Sorting:
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆31Aug 11, 2025Updated 6 months ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆24Updated this week
- [ICLR 2026] Polynomial, trigonometric, and tropical activations☆13Sep 22, 2025Updated 4 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Oct 29, 2021Updated 4 years ago
- A python library for studying Calabi-Yau metrics☆27Jul 18, 2025Updated 6 months ago
- Auditing agents for fine-tuning safety☆18Oct 21, 2025Updated 3 months ago
- Neural theorem proving tutorial, version II☆40Apr 26, 2024Updated last year
- ☆11Feb 18, 2024Updated last year
- A Redis-compatible in-memory database server written in Rust with MLua-based Lua 5.1 scripting☆17Nov 28, 2025Updated 2 months ago
- ☆11Oct 31, 2021Updated 4 years ago
- Optimized Circuit Generation for Secure Multiparty Computation☆12Nov 25, 2019Updated 6 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A jailbreak tweak to respring your device using the hardware buttons☆11Jun 9, 2020Updated 5 years ago
- ☆14Dec 10, 2025Updated 2 months ago
- Diffusion for EEG☆11Jan 2, 2023Updated 3 years ago
- ☆13Jul 8, 2024Updated last year
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- ☆12Jan 4, 2023Updated 3 years ago
- ☆11Sep 15, 2025Updated 4 months ago
- QMK Homebrew Formulae☆16May 28, 2025Updated 8 months ago
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- Functions for determining terminal sizes in Rust☆14Jan 22, 2026Updated 3 weeks ago
- Windows Sets sample from Build 2018☆11Apr 16, 2022Updated 3 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- Courier Mail Server - shared libraries☆12Jan 31, 2026Updated 2 weeks ago
- ☆14Oct 16, 2025Updated 3 months ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- Reverse Engineering the Tabstate files for Windows Notepad☆10May 1, 2024Updated last year
- Persistence support for NServiceBus using NHibernate☆12Feb 4, 2026Updated last week
- An ES6 Map wrapper for the synchronous userscript storage API☆14Aug 14, 2025Updated 6 months ago
- Surface geometry plugin for Rhinoceros 3D☆10Aug 21, 2018Updated 7 years ago
- ☆10Feb 2, 2023Updated 3 years ago
- Information, scripts and example data for the 'Biodiversity Data in Ecology and Biogeography' workshop at the Botanikertagung 2017 in Kie…☆12Sep 21, 2017Updated 8 years ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 7 months ago
- Version 2 of the MINA Instruction Set Architecture.☆10Jan 31, 2024Updated 2 years ago
- Using Xaml in the Win32 app model using DesktopWindowXamlSource☆16Jul 19, 2024Updated last year
- Unofficial copy of GSview 5.0☆11Jun 7, 2019Updated 6 years ago
- XDeFi Yield Farming & XDEX on Ethereum☆12Apr 20, 2021Updated 4 years ago