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β21Updated last year
- UQCSbot: our friendly little Slack botβ54Updated last year
- A successor to the much revered and sorely missed UQ Timetable Plannerβ30Updated 2 months ago
- Timetable planner for UQ courses, written in Typescript with React.β14Updated 2 years ago
- UQCSbot: Our friendly little Discord botβ20Updated last week
- An introduction to programming language theory in Agdaβ1,449Updated 2 weeks ago
- Tutorial Questions for the Programming II course at Imperial College Londonβ50Updated 2 years ago
- Proving leftpad correct two-dozen different waysβ688Updated 3 months ago
- a challenge for Haskell beginnersβ457Updated 2 years ago
- A terminal client for Up Bank written in Haskell β‘.β49Updated 3 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theoryβ388Updated this week
- Haskell library for building declarative animations based on SVG graphicsβ1,162Updated 6 months ago
- Lecture notes for the Type Systems course given in Autumn 2023β11Updated last year
- A formal logic framework that runs in the browserβ298Updated 7 months ago
- A semester planner for students at The University of Melbourne.β29Updated 2 years ago
- Nix and Haskell in productionβ1,160Updated last year
- Algebraic graphsβ740Updated 3 weeks ago
- Minimal implementations for dependent type checking and elaborationβ693Updated this week
- A slightly improved variant of the official thesis sampleβ31Updated last year
- HoTTEST Summer School materialsβ309Updated 2 months ago
- papers of Per Martin LΓΆfβ796Updated last year
- A Coq library for Homotopy Type Theoryβ1,333Updated last week
- Visual Studio Code extension for Coqβ399Updated 2 weeks ago
- A collection of resources for learning type theory and type theory adjacent fields.β2,331Updated 3 months ago
- Exercises from "Introduction to Functional Programming using Haskell" by Richard Birdβ16Updated 12 years ago
- A formatter for Haskell source codeβ1,009Updated this week
- I'm trying to update the Real World Haskell bookβ790Updated 2 years ago
- The agda-unimath libraryβ261Updated this week
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.β988Updated last week
- Very low feature GHCi based IDEβ1,162Updated last year