mikeshulman / Coq-HoTTView external linksLinks
Homotopy type theory
☆14Sep 21, 2022Updated 3 years ago
Alternatives and similar repositories for Coq-HoTT
Users that are interested in Coq-HoTT are comparing it to the libraries listed below
Sorting:
- collaboration on work in progress☆15Mar 4, 2011Updated 14 years ago
- My basic LaTeX macros and BibTeX file.☆14Jan 13, 2023Updated 3 years ago
- A hybrid Java/Python desktop app that collects regional Uber/Lyft driver information in real-time☆10Sep 16, 2017Updated 8 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆42Nov 12, 2022Updated 3 years ago
- ToneGod's graphical user-interface library for jMonkeyEngine3☆10Updated this week
- Python library for USB2FIR, an USB interface board for MLX90640☆14Nov 7, 2019Updated 6 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post☆46Jan 25, 2019Updated 7 years ago
- Template for a basic academic page☆16Dec 16, 2025Updated last month
- presentations☆44Dec 8, 2018Updated 7 years ago
- Fit, plot and compare several (extreme value) distributions by means of a plot with return periods on a linear scale☆13Jan 10, 2026Updated last month
- Jector is a command line interface for injecting Java code externally into a JVM at runtime☆14Apr 6, 2020Updated 5 years ago
- U-Net for BDD100K Dataset☆13Jan 1, 2019Updated 7 years ago
- ☆14Nov 24, 2025Updated 2 months ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Slides for an introductory talk about Haskell (in German)☆11May 16, 2020Updated 5 years ago
- Array quantization and compression☆14Dec 8, 2023Updated 2 years ago
- Tipical Android Settings 🤷♂️☆14Jan 30, 2025Updated last year
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated last month
- 📝 My blog!🌟☆12Dec 15, 2025Updated 2 months ago
- Jupytext talk at PyParis 2018☆11Dec 10, 2018Updated 7 years ago
- Quick search, preview directly in alfred any icons by the thenounproject.com service.☆12Mar 28, 2023Updated 2 years ago
- Computation using data flow graphs for scalable machine learning☆10Mar 15, 2018Updated 7 years ago
- Adds color to your Wolfram Language outputs in an ANSI capable terminal☆10Sep 19, 2019Updated 6 years ago
- Simple visualized cetz editor☆11Apr 22, 2025Updated 9 months ago
- A collection of string art portraits I've created, including the making-of and infos about my current projects.☆12Dec 29, 2019Updated 6 years ago
- COS 429 final project completed by Adam Fisch and Max Shatkhin. Using image processing techniques including Eulerian Video Magnification …☆10Sep 25, 2015Updated 10 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- A tool to showcase the Therac-25 bugs☆12Jun 11, 2019Updated 6 years ago
- ☆10Apr 11, 2025Updated 10 months ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- The goal of this project is to demonstrate JME 3.0 capabilities on Android.☆12May 11, 2016Updated 9 years ago
- Multithreaded framework for managing 'infinite' terrain.☆10Apr 22, 2024Updated last year
- A web crawler that fetches K-pop song details and lyrics from top charts☆12Jul 18, 2017Updated 8 years ago
- ☆10May 2, 2016Updated 9 years ago
- ☆13Oct 16, 2025Updated 3 months ago
- R package crs (Categorical Regression Splines)☆17Updated this week
- ☆10Apr 7, 2016Updated 9 years ago
- A collection of .bashrc stuff and other dotfiles☆20Feb 2, 2026Updated 2 weeks ago