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 9 months ago
- A successor to the much revered and sorely missed UQ Timetable Plannerβ30Updated 2 months ago
- UQCSbot: our friendly little Slack botβ54Updated last year
- An introduction to programming language theory in Agdaβ1,451Updated 2 weeks ago
- A formatter for Haskell source codeβ1,014Updated last week
- Proving leftpad correct two-dozen different waysβ688Updated 4 months ago
- a challenge for Haskell beginnersβ460Updated 2 years ago
- Haskell library for building declarative animations based on SVG graphicsβ1,160Updated 6 months ago
- A formal logic framework that runs in the browserβ299Updated 8 months ago
- Nix and Haskell in productionβ1,159Updated last year
- π Safe, performant, user-friendly and lightweight Haskell standard libraryβ725Updated 3 weeks ago
- Liquid Types For Haskellβ1,256Updated this week
- Minimal implementations for dependent type checking and elaborationβ730Updated 2 weeks ago
- papers of Per Martin LΓΆfβ799Updated last year
- The Agda standard libraryβ624Updated 3 weeks ago
- higher-order, no-boilerplate monadsβ1,058Updated 5 months ago
- Applied Functional Programming Course - Move from exercises to a working app!β632Updated last year
- Resources for learning Category Theory for an enthusiastβ635Updated 2 years ago
- Functional Programming Courseβ4,204Updated 9 months ago
- A terminal client for Up Bank written in Haskell β‘.β49Updated 4 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theoryβ393Updated this week
- A List of Foundational Haskell Papersβ881Updated 9 months ago
- A slightly improved variant of the official thesis sampleβ31Updated last year
- A little course to learn about some of the more obscure GHC extensions.β656Updated last year
- An experimental library for Cubical Agdaβ499Updated 2 weeks ago
- HoTTEST Summer School materialsβ311Updated 2 months ago
- Algebraic graphsβ743Updated 3 weeks ago
- A LaTeX Typesetting Gameβ255Updated 5 months ago
- π΅οΈ Haskell STatic ANalyserβ583Updated last week