cubical

agda

An experimental library for Cubical Agda

library

View on GitHub Website

565 Stars

169 Forks

29 Watchers

Agda Language

other License

100 SrcLog Score

Cost to Build

$43.83M

Market Value

$183.35M

How is this calculated?

Growth over time

4 data points · 2025-07-29 → 2026-07-17

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about cubical

Question copied to clipboard

What is the agda/cubical GitHub project? Description: "An experimental library for Cubical Agda". Written in Agda. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone cubical

Clone via HTTPS

git clone https://github.com/agda/cubical.git

Clone via SSH

[email protected]:agda/cubical.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the cubical issue tracker:

Open GitHub Issues

Similar to cubical

react storybook framework7 cosmos animated-tab-bar curl folding-cell BottomBar ccxt FSCalendar libgit2 cdnjs timesheet.js noty TSMessages InfiniteCycleViewPager lwan expanding-collection AndroidLibs NavigationTabBar badger folding-cell-android Chat-API BouncyLayout Instagram-API circle-menu bitcoinj TinyConstraints spruce-ios paper-switch