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…☆32Aug 11, 2025Updated 6 months ago
- [ICLR 2026] Polynomial, trigonometric, and tropical activations☆15Feb 23, 2026Updated 2 weeks 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 7 months ago
- Auditing agents for fine-tuning safety☆20Oct 21, 2025Updated 4 months ago
- Neural theorem proving tutorial, version II☆40Apr 26, 2024Updated last year
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- Diffusion for EEG☆11Jan 2, 2023Updated 3 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
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- ☆12Jan 4, 2023Updated 3 years ago
- ☆13Jul 8, 2024Updated last year
- Optimized Circuit Generation for Secure Multiparty Computation☆12Nov 25, 2019Updated 6 years ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆14Dec 10, 2025Updated 2 months ago
- A Redis-compatible in-memory database server written in Rust with MLua-based Lua 5.1 scripting☆17Nov 28, 2025Updated 3 months ago
- QMK Homebrew Formulae☆16May 28, 2025Updated 9 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11May 15, 2023Updated 2 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Persistence support for NServiceBus using NHibernate☆12Feb 26, 2026Updated last week
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Windows Sets sample from Build 2018☆11Apr 16, 2022Updated 3 years ago
- Proving ground for changes to attohttpc☆12Mar 1, 2026Updated last week
- Using Xaml in the Win32 app model using DesktopWindowXamlSource☆16Jul 19, 2024Updated last year
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago
- Library and command-line tool to gather stats on typeshed packages☆12Updated this week
- Reverse Engineering the Tabstate files for Windows Notepad☆10May 1, 2024Updated last year
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Do not use☆15Jan 25, 2019Updated 7 years ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- A video-sharing web platform compatible with NextShare, a peer-to-peer streaming technology developed within European project P2P-Next☆15Nov 13, 2012Updated 13 years ago
- ☆19Mar 18, 2025Updated 11 months ago
- XDeFi Yield Farming & XDEX on Ethereum☆12Apr 20, 2021Updated 4 years ago
- Simple c++ wrapper for xz utils☆13Jul 1, 2021Updated 4 years ago