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 8 months ago
- A successor to the much revered and sorely missed UQ Timetable Plannerβ29Updated last month
- Timetable planner for UQ courses, written in Typescript with React.β14Updated 2 years ago
- UQCSbot: Our friendly little Discord botβ20Updated 2 weeks ago
- Haskell library for building declarative animations based on SVG graphicsβ1,162Updated 5 months ago
- Proving leftpad correct two-dozen different waysβ680Updated 2 months ago
- Tutorial Questions for the Programming II course at Imperial College Londonβ50Updated 2 years ago
- A terminal client for Up Bank written in Haskell β‘.β49Updated 2 months ago
- Maintainable configuration filesβ940Updated 2 weeks ago
- Industrial-strength monadic parser combinator libraryβ947Updated 2 weeks ago
- Algebraic graphsβ741Updated this week
- Exercises from "Introduction to Functional Programming using Haskell" by Richard Birdβ16Updated 12 years ago
- Selenium driver to turn csv files into timesheet submissionsβ12Updated last year
- Liquid Types For Haskellβ1,252Updated this week
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.β426Updated 3 weeks ago
- Embedding Pointful Array Programming in Pythonβ17Updated 9 months ago
- a challenge for Haskell beginnersβ457Updated last year
- higher-order, no-boilerplate monadsβ1,056Updated 4 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theoryβ382Updated this week
- A ready-to-fork interpreted functional language with type inferenceβ414Updated this week
- Very low feature GHCi based IDEβ1,161Updated last year
- DIKU Support Tools for Canvas LMSβ14Updated 10 months ago
- π΅οΈ Haskell STatic ANalyserβ582Updated last month
- A formal logic framework that runs in the browserβ293Updated 7 months ago
- A understandable Haskell tracer.β14Updated 3 years ago
- An introduction to programming language theory in Agdaβ1,440Updated this week
- A monadic parser combinator libraryβ873Updated last month
- π Safe, performant, user-friendly and lightweight Haskell standard libraryβ718Updated 2 months ago
- papers of Per Martin LΓΆfβ793Updated last year