summerprogram2019 / orangeLinks
π ζ©εδΉι. The road to nutrition and health.
β10Updated last year
Alternatives and similar repositories for orange
Users that are interested in orange are comparing it to the libraries listed below
Sorting:
- Resources for the UQCS competitive programming groupβ20Updated last year
- How behind am I? Keeping track of missed Zoom lectures since 2020.β10Updated 6 months ago
- Timetable planner for UQ courses, written in Typescript with React.β14Updated 2 years ago
- UQCSbot: Our friendly little Discord botβ20Updated last month
- A successor to the much revered and sorely missed UQ Timetable Plannerβ26Updated 4 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theoryβ372Updated this week
- A new Categories library for Agdaβ381Updated last week
- A terminal client for Up Bank written in Haskell β‘.β48Updated last month
- An experimental library for Cubical Agdaβ487Updated last week
- The agda-unimath libraryβ255Updated this week
- HoTTEST Summer School materialsβ297Updated this week
- Algebraic graphsβ740Updated 2 weeks ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekarβ300Updated last year
- The Agda standard libraryβ615Updated this week
- An introductory course to Homotopy Type Theoryβ370Updated 4 years ago
- agda-mode on VS Codeβ177Updated 3 weeks ago
- Proving leftpad correct two-dozen different waysβ676Updated last month
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.β296Updated last year
- π΅οΈ Haskell STatic ANalyserβ584Updated 2 weeks ago
- Lean Library currently studying for a degree at Imperial Collegeβ226Updated 3 months ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.β420Updated this week
- A semester planner for students at The University of Melbourne.β29Updated 2 years ago
- β162Updated 5 years ago
- agda-mode for neovimβ158Updated last month
- Exercises from "Introduction to Functional Programming using Haskell" by Richard Birdβ16Updated 12 years ago
- A formal logic framework that runs in the browserβ291Updated 5 months ago
- The Incredible Proof Machineβ376Updated 3 months ago
- An experimental proof assistant based on a type theory for synthetic β-categories.β228Updated 2 months ago
- The collected works of F. W. Lawvereβ352Updated 9 months ago
- 15-819 (Homotopy Type Theory) Lecture Notesβ56Updated 4 years ago