A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.
☆11Feb 28, 2015Updated 10 years ago
Alternatives and similar repositories for book
Users that are interested in book are comparing it to the libraries listed below
Sorting:
- ☆22Aug 18, 2015Updated 10 years ago
- Click To Cloud DevOps Toolbox☆15Sep 14, 2020Updated 5 years ago
- Python Music Theory and Notation Library☆11Nov 9, 2017Updated 8 years ago
- Bootstrap project using commercetools Sunrise Framework & Theme☆10Sep 4, 2019Updated 6 years ago
- This project focuses on using deep learning to replace text in images while retaining the same font and style.☆10Dec 9, 2019Updated 6 years ago
- My SMW workspace for all of my public stuff. Contributions via pull requests are welcome!☆11Jan 24, 2025Updated last year
- A Cython library to solve the Bittensor registration POW on CUDA☆15Aug 15, 2025Updated 6 months ago
- A Pretty Printing XML Generator for Common Lisp☆18Jun 11, 2025Updated 8 months ago
- Minimal but powerful templating language implemented in multiple languages☆26Dec 6, 2009Updated 16 years ago
- [READ ONLY MIRROR] Network Block Storage server, written in Rust. Supports pluggable and chainable underlying storage☆15Jul 29, 2022Updated 3 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- 🦞 A curated list of Molt ecosystem services, platforms, and tools for AI agents — Moltbook, MoltCities, Molthunt, MoltMatch, and more.☆26Updated this week
- The SQL link in your *NIX chain☆22Feb 28, 2013Updated 13 years ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- Materials and content for the 3-episodes Event Streaming Series by DataStax Developers☆11Sep 8, 2021Updated 4 years ago
- ☆11Dec 23, 2025Updated 2 months ago
- Source code for 'Mastering Salesforce DevOps' by Andrew Davis☆10May 13, 2020Updated 5 years ago
- FPGA-based HyperLogLog Accelerator☆12Jul 13, 2020Updated 5 years ago
- ☆11Mar 13, 2023Updated 2 years ago
- An open format definition for static analysis tools☆11Jan 20, 2023Updated 3 years ago
- A small somewhat risk-like game. It is based upon a physics simulation describing an elastic graph.☆11Apr 13, 2021Updated 4 years ago
- An age verification (or age gate) using HTML, CSS, and jQuery/JavaScript.☆10Dec 10, 2015Updated 10 years ago
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Jun 15, 2014Updated 11 years ago
- Remember the songs you heard and analyse your listening patterns☆16Sep 15, 2024Updated last year
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- Code for Max-Margin Deep Generative Models☆12Jan 1, 2015Updated 11 years ago
- ☆12Aug 11, 2018Updated 7 years ago
- Tone Analyzer Demo for Fresh Machine Learning #3☆11Jul 16, 2016Updated 9 years ago
- ☆16Dec 5, 2018Updated 7 years ago
- A distributed network based on hash codes and lattices.☆14Aug 16, 2016Updated 9 years ago
- This network estimation procedure combines l1-regularized logistic regression with model selection based on the Extended Bayesian Informa…☆10Oct 12, 2023Updated 2 years ago
- Updates values in XML files based on XPath queries. Similar to the `xmlpoke` task in NAnt.☆12Jan 28, 2026Updated 3 weeks ago
- ☆11Oct 31, 2020Updated 5 years ago
- Code and demo for SFHTML5 Talk - D3 in Practice☆10Oct 1, 2015Updated 10 years ago
- Vue.js wrapper over canvas manipulation library fabric.js — **Note: not quite ready for prime time**☆11Nov 27, 2016Updated 9 years ago
- Zclassic Official Website - https://zclassic.org☆11Jul 30, 2022Updated 3 years ago
- Implementation of Variance Reduction Techniques in Julia☆11Sep 6, 2016Updated 9 years ago
- Program multiple nRF5 devices concurrently with this nrfjprog inspired python module/exe☆11May 23, 2018Updated 7 years ago