A formalization of (homotopy) limits in Homotopy Type Theory
☆10Jan 11, 2015Updated 11 years ago
Alternatives and similar repositories for hott-limits
Users that are interested in hott-limits are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 12 years ago
- A cron-like scheduler for Racket.☆12Mar 2, 2026Updated 8 months ago
- Homotopy type theory☆14Sep 21, 2022Updated 4 years ago
- Homotopy theory in Coq.☆90Mar 26, 2011Updated 15 years ago
- ☆17Oct 8, 2014Updated 12 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- BibTeX database management in Idris☆18May 13, 2014Updated 12 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆247Sep 10, 2014Updated 12 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆20Mar 19, 2024Updated 2 years ago
- Haskel bindings to React☆11Dec 11, 2019Updated 6 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Jan 15, 2023Updated 3 years ago
- sparse matrices in Morton order☆24Aug 9, 2015Updated 11 years ago
- An experimental typed version of the Rosette language☆13Aug 6, 2018Updated 8 years ago
- RiskBazaar☆10May 8, 2017Updated 9 years ago
- a graph definition and execution library for python☆16Mar 22, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at…☆25Jun 30, 2023Updated 3 years ago
- Sinsy is a HMM-based singing voice synthesis system.☆10Jan 6, 2016Updated 10 years ago
- A test React Native app with Tensorflow☆11Jul 15, 2017Updated 9 years ago
- Build web apps for interactive command-line tools☆27May 21, 2022Updated 4 years ago
- ☆14Feb 12, 2016Updated 10 years ago
- ☆22Sep 30, 2016Updated 10 years ago
- C++ library of symbolic algebra data structures for use in Groebner basis computation.☆25May 26, 2020Updated 6 years ago
- A Jupyter Extension for Adding Pug Photos to Your Notebook☆11Mar 2, 2016Updated 10 years ago
- ☆16Oct 19, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- iWallet☆12Apr 4, 2014Updated 12 years ago
- Easily apply functions onto fields' values. Use a struct's fields as operands for operations on values of that type.☆25Jan 10, 2021Updated 5 years ago
- JSX for Alexa Skills Kit SSML☆13Jun 15, 2016Updated 10 years ago
- Like multimethods but multidecorators.☆11Feb 19, 2020Updated 6 years ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆33Dec 27, 2023Updated 2 years ago
- Remember the songs you heard and analyse your listening patterns☆16Sep 15, 2024Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- agnostic key/value storage with real time notifications☆10Aug 17, 2015Updated 11 years ago
- An environement builder for hierarchical reasoning research☆27Mar 19, 2026Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This is just a small example of AI. AI's capabilities are endless. This is just a weekend project though. Feel free to fork and star☆12May 9, 2019Updated 7 years ago
- A test of deploying a Compojure webapp to Google App Engine☆14Feb 15, 2011Updated 15 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- ☆12Oct 3, 2020Updated 6 years ago
- From Virtual to Reality: Fast Adaptation of Virtual Object Detectors to Real Domains☆12Jan 11, 2016Updated 10 years ago
- Formalising Type Theory in a modular way for translations between type theories☆97Jan 10, 2018Updated 8 years ago
- ☆10May 7, 2024Updated 2 years ago