langston-barrett / reed-thesisView external linksLinks
My undergradate thesis on coinductive types in univalent type theory
☆17May 10, 2018Updated 7 years ago
Alternatives and similar repositories for reed-thesis
Users that are interested in reed-thesis are comparing it to the libraries listed below
Sorting:
- Random notes on mathematics (in German)☆12Dec 9, 2025Updated 2 months ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Nov 1, 2024Updated last year
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- OpenCog Unsupervised Language Learning☆20Aug 20, 2019Updated 6 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆58Sep 10, 2014Updated 11 years ago
- ☆24Jun 25, 2025Updated 7 months ago
- DocLog builds documentation from source code in Prolog☆33Jan 5, 2026Updated last month
- Automatically exported from code.google.com/p/xml2rfc-xxe☆11Jul 9, 2022Updated 3 years ago
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- A CLI tool that allows you to run and test your Near Social Widgets locally using just your preferred code editor and your default browse…☆12Sep 8, 2023Updated 2 years ago
- access ChatGPT/Gemini/Claude from Emacs without APIs☆10Dec 25, 2025Updated last month
- A php library for working with Table Schema.☆12Jul 28, 2025Updated 6 months ago
- AWS virtual infrastructure simulator for training reinforcement learning based cloud capacity management systems☆11Sep 23, 2020Updated 5 years ago
- multi-logic proof generator☆11Sep 18, 2023Updated 2 years ago
- TWRP Source for OnePlus 6T Fajita☆10Nov 1, 2019Updated 6 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 9 years ago
- Descriptive summaries of covid data for Belgium☆10Apr 23, 2021Updated 4 years ago
- ☆50May 15, 2023Updated 2 years ago
- ITS interchange provides a secure and scalable way to exchange ITS related data between providers.☆13Updated this week
- UNMAINTAINED: See celluloid/celluloid#779☆48Aug 21, 2018Updated 7 years ago
- Haskell support☆14Feb 9, 2026Updated last week
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- A Sails.js WebSocket Client - Request and listen to your RESTful APIs☆11Feb 9, 2015Updated 11 years ago
- Put apktool, dex2jar and jad together into a bash script. So you can decompile an apk file by one single command.☆18Feb 9, 2014Updated 12 years ago
- Generation and storage of Python wheels for building gcloud-python on Travis.☆13Jan 9, 2018Updated 8 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- Graph-Structured Sum-Product Networks (GraphSPN), AAAI'18☆10May 8, 2022Updated 3 years ago
- IPython-contrib is an unofficial organisation that try to regroup project that are made to be used with IPython. Please ask if you want t…☆14Jan 24, 2013Updated 13 years ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 7 years ago
- Fake transform-scrolling with angular-friendly utilities☆66Dec 12, 2013Updated 12 years ago
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- Explain and validate SQL queries as you type them into Datasette☆12Feb 28, 2024Updated last year
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Utility for stripping image metadata☆10Nov 9, 2020Updated 5 years ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 5 years ago
- Low-level Haskell bindings to GLFW☆14Oct 13, 2025Updated 4 months ago