summerprogram2019 / orange
π ζ©εδΉι. 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
- Resources for the UQCS competitive programming groupβ20Updated 10 months ago
- How behind am I? Keeping track of missed Zoom lectures since 2020.β10Updated 4 months ago
- UQCSbot: our friendly little Slack botβ55Updated last year
- A successor to the much revered and sorely missed UQ Timetable Plannerβ26Updated 2 months ago
- A terminal client for Up Bank written in Haskell β‘.β47Updated last year
- Liquid Types For Haskellβ1,231Updated this week
- HoTTEST Summer School materialsβ297Updated last year
- Nix and Haskell in productionβ1,151Updated last year
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!β393Updated 2 months ago
- Industrial-strength monadic parser combinator libraryβ940Updated 2 months ago
- Maintainable configuration filesβ930Updated last week
- higher-order, no-boilerplate monadsβ1,041Updated 2 weeks ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.β412Updated 2 weeks ago
- A formatter for Haskell source codeβ987Updated 2 weeks ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.β252Updated this week
- CSCI 499 β Advanced Applications: A Hunter Fall 2021 Courseβ28Updated 3 years ago
- An experimental library for Cubical Agdaβ475Updated last week
- π΅οΈ Haskell STatic ANalyserβ578Updated 2 months ago
- A semester planner for students at The University of Melbourne.β29Updated 2 years ago
- Haskell library for building declarative animations based on SVG graphicsβ1,143Updated last month
- Project: M36 Relational Algebra Engineβ918Updated 3 weeks ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoningβ608Updated last month
- Algebraic graphsβ737Updated 10 months ago
- π Safe, performant, user-friendly and lightweight Haskell standard libraryβ711Updated 3 weeks ago
- The Agda standard libraryβ607Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theoryβ366Updated this week
- Visual Studio Code extension for Coqβ375Updated this week
- Automatic testing of Haskell programs.β744Updated 2 weeks ago
- Examples of Dependently-typed programs in Haskellβ304Updated 2 years ago
- A type-safe, non-TH Haskell SQL library and ORMβ594Updated 2 weeks ago