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)☆12Feb 12, 2026Updated 3 weeks 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
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- OpenCog Unsupervised Language Learning☆20Aug 20, 2019Updated 6 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆58Sep 10, 2014Updated 11 years ago
- ☆24Jun 25, 2025Updated 8 months ago
- DocLog builds documentation from source code in Prolog☆34Jan 5, 2026Updated 2 months ago
- multi-logic proof generator☆11Sep 18, 2023Updated 2 years ago
- Descriptive summaries of covid data for Belgium☆10Apr 23, 2021Updated 4 years ago
- access ChatGPT/Gemini/Claude from Emacs without APIs☆10Dec 25, 2025Updated 2 months 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
- TWRP Source for OnePlus 6T Fajita☆10Nov 1, 2019Updated 6 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- Automatically exported from code.google.com/p/xml2rfc-xxe☆11Jul 9, 2022Updated 3 years ago
- AWS virtual infrastructure simulator for training reinforcement learning based cloud capacity management systems☆11Sep 23, 2020Updated 5 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
- OG2 VLM emulator for Debian Linux☆11Mar 11, 2025Updated 11 months ago
- A php library for working with Table Schema.☆12Jul 28, 2025Updated 7 months ago
- ☆50May 15, 2023Updated 2 years ago
- Daily EDN exports of ClojureDocs's database.☆10Dec 14, 2024Updated last year
- 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
- Low-level Haskell bindings to GLFW☆14Oct 13, 2025Updated 4 months 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
- ☆11Mar 11, 2023Updated 2 years ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 7 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Cap'n Proto bindings for .NET languages☆12Dec 6, 2016Updated 9 years ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 5 years ago
- ITS interchange provides a secure and scalable way to exchange ITS related data between providers.☆14Updated this week
- Graph-Structured Sum-Product Networks (GraphSPN), AAAI'18☆10May 8, 2022Updated 3 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- Haskell version of jsmin js minifier☆29Jan 11, 2023Updated 3 years ago
- Utilities for working with OpenGL's GLSL shading language and vinyl records.☆30Sep 11, 2018Updated 7 years ago
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- A Sails.js WebSocket Client - Request and listen to your RESTful APIs☆11Feb 9, 2015Updated 11 years ago
- Cake Addin for code generation via the OpenAPI Generator (f.k.a. Swagger Codegen)☆10Sep 11, 2020Updated 5 years ago