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 4 months ago
- How behind am I? Keeping track of missed Zoom lectures since 2020.β10Updated last year
- A successor to the much revered and sorely missed UQ Timetable Plannerβ30Updated 7 months ago
- Timetable planner for UQ courses, written in Typescript with React.β14Updated 3 years ago
- UQCSbot: Our friendly little Discord botβ20Updated last month
- Industrial-strength monadic parser combinator libraryβ971Updated this week
- A declarative Unix terminal UI library written in Haskellβ1,694Updated last month
- Project: M36 Relational Algebra Engineβ941Updated last week
- Liquid Types For Haskellβ1,288Updated this week
- Proving leftpad correct two-dozen different waysβ715Updated 9 months ago
- πβοΈAdvent of Code solutions in Haskell π πβ10Updated last month
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theoryβ418Updated last week
- An introduction to programming language theory in Agdaβ1,486Updated last week
- π΅οΈ Haskell STatic ANalyserβ587Updated 3 weeks ago
- Algebraic graphsβ750Updated 2 weeks ago
- Very low feature GHCi based IDEβ1,176Updated last year
- Functional reactive web and mobile applications, with batteries included.β1,023Updated last week
- Minimal implementations for dependent type checking and elaborationβ761Updated last week
- Maintainable configuration filesβ957Updated this week
- Haskell library for building declarative animations based on SVG graphicsβ1,174Updated last year
- A formatter for Haskell source codeβ1,043Updated 3 weeks ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.β265Updated this week
- π Safe, performant, user-friendly and lightweight Haskell standard libraryβ733Updated last week
- Applicative option parserβ959Updated last week
- A terminal client for Up Bank written in Haskell β‘.β50Updated 9 months ago
- A prompt engineering functional programming languageβ504Updated 2 weeks ago
- I'm trying to update the Real World Haskell bookβ798Updated 2 years ago
- Nix and Haskell in productionβ1,168Updated 2 years ago
- A fast, flexible, fused effect system for Haskellβ667Updated last month
- A tasty Haskell web frameworkβ2,364Updated this week