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 11 months ago
- How behind am I? Keeping track of missed Zoom lectures since 2020.β10Updated 5 months ago
- UQCSbot: our friendly little Slack botβ55Updated last year
- Timetable planner for UQ courses, written in Typescript with React.β14Updated 2 years ago
- A successor to the much revered and sorely missed UQ Timetable Plannerβ26Updated 3 months ago
- A terminal client for Up Bank written in Haskell β‘.β48Updated this week
- Kisakoodarin kΓ€sikirjaβ15Updated 2 years ago
- An experimental library for Cubical Agdaβ478Updated last month
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theoryβ366Updated this week
- The agda-unimath libraryβ249Updated this week
- Dafny 2 for Visual Studio Code (Legacy)β18Updated 2 years ago
- π΅οΈ Haskell STatic ANalyserβ580Updated 3 months ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.β253Updated this week
- agda-mode on VS Codeβ175Updated this week
- HoTTEST Summer School materialsβ297Updated last year
- Visual Studio Code extension for Coqβ377Updated this week
- Proving leftpad correct two-dozen different waysβ669Updated this week
- A demo implementation of a simple dependently-typed languageβ591Updated 5 months ago
- Haskell library for building declarative animations based on SVG graphicsβ1,150Updated 2 months ago
- β241Updated last month
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.β416Updated last month
- Algebraic graphsβ737Updated 11 months ago
- Jupyter adaptation of Learn You a Haskell for Great Good!β300Updated last year
- A new Categories library for Agdaβ377Updated 3 weeks ago
- Industrial-strength monadic parser combinator libraryβ941Updated 2 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]β518Updated 2 months ago
- A LaTeX Typesetting Gameβ246Updated 3 weeks ago
- The Agda standard libraryβ610Updated this week
- β231Updated 8 months ago
- agda-mode for neovimβ152Updated 3 weeks ago