Alternatives and similar repositories for ribbon

Users that are interested in ribbon are comparing it to the libraries listed below

• shehper / AC-Solver

  View on GitHub
  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
• 3-manifolds / Spherogram

  View on GitHub
  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
• K-H-Ismail / torchortho

  View on GitHub
  [ICLR 2026] Polynomial, trigonometric, and tropical activations
  ☆13Sep 22, 2025Updated 4 months ago
• danbriggs / Turing

  View on GitHub
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Oct 29, 2021Updated 4 years ago
• pythoncymetric / cymetric

  View on GitHub
  A python library for studying Calabi-Yau metrics
  ☆27Jul 18, 2025Updated 6 months ago
• safety-research / finetuning-auditor

  View on GitHub
  Auditing agents for fine-tuning safety
  ☆18Oct 21, 2025Updated 3 months ago
• cmu-l3 / ntptutorial-II

  View on GitHub
  Neural theorem proving tutorial, version II
  ☆40Apr 26, 2024Updated last year
• ah1112 / synthetic_euclid_4

  View on GitHub
  ☆11Feb 18, 2024Updated last year
• iGentAI / ferrous

  View on GitHub
  A Redis-compatible in-memory database server written in Rust with MLua-based Lua 5.1 scripting
  ☆17Nov 28, 2025Updated 2 months ago
• Ja1941 / hilberts-axioms

  View on GitHub
  ☆11Oct 31, 2021Updated 4 years ago
• sadeghriazi / MPCircuits

  View on GitHub
  Optimized Circuit Generation for Secure Multiparty Computation
  ☆12Nov 25, 2019Updated 6 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• Kurrt / Lifeguard

  View on GitHub
  A jailbreak tweak to respring your device using the hardware buttons
  ☆11Jun 9, 2020Updated 5 years ago
• Qbox-project / qbx_vehicleshop

  View on GitHub
  ☆14Dec 10, 2025Updated 2 months ago
• LiuyinYang1101 / EEGDiffWave

  View on GitHub
  Diffusion for EEG
  ☆11Jan 2, 2023Updated 3 years ago
• NUS-Math-Formalization / coxeter

  View on GitHub
  ☆13Jul 8, 2024Updated last year
• sky-ecosystem / MIP21-RWA-Example

  View on GitHub
  MIP21 example
  ☆15Jun 20, 2022Updated 3 years ago
• LanglandsLearningGroup / Video-Lectures

  View on GitHub
  ☆12Jan 4, 2023Updated 3 years ago
• AareyanManzoor / Characteristic-Classes

  View on GitHub
  ☆11Sep 15, 2025Updated 4 months ago
• qmk / homebrew-qmk

  View on GitHub
  QMK Homebrew Formulae
  ☆16May 28, 2025Updated 8 months ago
• ekinakyurek / gpt3-arithmetic

  View on GitHub
  Scratchpad/Chain-of-Thought Prompts
  ☆12Jun 6, 2022Updated 3 years ago
• sustrik / igor

  View on GitHub
  ☆12Jun 14, 2021Updated 4 years ago
• JohnTitor / termize

  View on GitHub
  Functions for determining terminal sizes in Rust
  ☆14Jan 22, 2026Updated 3 weeks ago
• oldnewthing / build2018setssample

  View on GitHub
  Windows Sets sample from Build 2018
  ☆11Apr 16, 2022Updated 3 years ago
• astrainfinita / transcendental

  View on GitHub
  Lindemann–Weierstrass Theorem
  ☆12May 4, 2024Updated last year
• svarshavchik / courier-libs

  View on GitHub
  Courier Mail Server - shared libraries
  ☆12Jan 31, 2026Updated 2 weeks ago
• sven-manthe / A-formalization-of-Borel-determinacy-in-Lean

  View on GitHub
  ☆14Oct 16, 2025Updated 3 months ago
• rwbarton / lean-homotopy-theory

  View on GitHub
  A development of homotopy theory in the Lean formal theorem prover.
  ☆14Aug 27, 2020Updated 5 years ago
• ogmini / Notepad-Tabstate-Buffer

  View on GitHub
  Reverse Engineering the Tabstate files for Windows Notepad
  ☆10May 1, 2024Updated last year
• Particular / NServiceBus.NHibernate

  View on GitHub
  Persistence support for NServiceBus using NHibernate
  ☆12Feb 4, 2026Updated last week
• chocolateboy / gm-storage

  View on GitHub
  An ES6 Map wrapper for the synchronous userscript storage API
  ☆14Aug 14, 2025Updated 6 months ago
• piktur / rhino_manifolds

  View on GitHub
  Surface geometry plugin for Rhinoceros 3D
  ☆10Aug 21, 2018Updated 7 years ago
• shauli-ravfogel / conformal-prediction

  View on GitHub
  ☆10Feb 2, 2023Updated 3 years ago
• azizka / Workshop_Biodiversity_Data_in_Ecology_and_Biogeography

  View on GitHub
  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
• GasStationManager / CodeProofTheArena

  View on GitHub
  Lean coding problem solving challenge website with proof verification
  ☆13Jul 8, 2025Updated 7 months ago
• noumidev / minaV2

  View on GitHub
  Version 2 of the MINA Instruction Set Architecture.
  ☆10Jan 31, 2024Updated 2 years ago
• ChrisGuzak / Win32XamlApp

  View on GitHub
  Using Xaml in the Win32 app model using DesktopWindowXamlSource
  ☆16Jul 19, 2024Updated last year
• mgieseki / gsview

  View on GitHub
  Unofficial copy of GSview 5.0
  ☆11Jun 7, 2019Updated 6 years ago
• xdefilab / xdefi-governance-token

  View on GitHub
  XDeFi Yield Farming & XDEX on Ethereum
  ☆12Apr 20, 2021Updated 4 years ago