Development of the univalent foundations of mathematics in Coq
☆19Apr 24, 2012Updated 14 years ago
Alternatives and similar repositories for Foundations
Users that are interested in Foundations are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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
- Textbook on non-classical logics☆14Jul 12, 2026Updated 3 months ago
- A Coq library for Homotopy Type Theory☆1,406Updated this week
- Elements of Deductive Logic, an open-source intermediate logic textbook☆14Jan 8, 2026Updated 9 months ago
- Conference on Homotopy Type Theory 2019☆16Sep 18, 2019Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆19Apr 3, 2023Updated 3 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆247Sep 10, 2014Updated 12 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆31Aug 16, 2013Updated 13 years ago
- Textbook on Gödel's incompleteness theorems and computability theory☆22Jul 12, 2026Updated 3 months ago
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆169Jul 11, 2026Updated 3 months ago
- A C/C++ code obfuscator based on llvm/clang technology☆16Sep 19, 2014Updated 12 years ago
- Ground work for Component Pascal 64-bit compiler☆22Dec 10, 2021Updated 4 years ago
- Oberon-07 translator☆49Apr 6, 2026Updated 6 months ago
- FPGA-based HyperLogLog Accelerator☆12Jul 13, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14Jun 30, 2015Updated 11 years ago
- Pin tool for logging socket communications to disk☆20Feb 3, 2013Updated 13 years ago
- Michi-Go --- Michi (Minimalistic Go MCTS Engine) recoded in Go☆17Nov 18, 2020Updated 5 years ago
- Longan Nano board(GD32VF103) examples, in Rust, under macOS. Bad Apple included.☆12Dec 15, 2020Updated 5 years ago
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Feb 28, 2015Updated 11 years ago
- ☆12Sep 23, 2026Updated last month
- Cockroach kid programming language☆11Sep 19, 2022Updated 4 years ago
- A simple exploitable ActiveX control for RE/VR☆19Jun 28, 2014Updated 12 years ago
- Legacy CMake BASIS project for versions 3.2 and older. For newer versions, go to☆13Apr 15, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Experiments with Linux kernel modules☆12Apr 20, 2026Updated 6 months ago
- Custom filtration constructors for Python☆22Mar 24, 2025Updated last year
- Automatically exported from code.google.com/p/okuharaandroid-edax-reversi☆22Apr 21, 2026Updated 6 months ago
- Functional Parallel Typified Language☆10Oct 8, 2026Updated 3 weeks ago
- GPL physics-based snowboarding sim, with an advanced terrain engine designed for rendering real-world locations☆10Feb 19, 2019Updated 7 years ago
- Library of simd functions☆19Jun 13, 2026Updated 4 months ago
- ot-coq☆17Sep 5, 2023Updated 3 years ago
- Monadic parsers library☆16Apr 24, 2026Updated 6 months ago
- ☆15Jun 6, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A textbook on informal homotopy type theory☆2,173Jun 18, 2026Updated 4 months ago
- InterSystems IRIS support for SQL in the SQLTools extension to Visual Studio Code☆11Updated this week
- Tim Button's open textbook on set theory☆44Jul 12, 2026Updated 3 months ago
- µKanren in JavaScript☆13Jan 22, 2014Updated 12 years ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 4 years ago
- An s-expression representation of GraphViz DOT Language☆26Nov 23, 2020Updated 5 years ago
- Alan Snyder's portable C Compiler☆19Nov 2, 2018Updated 7 years ago