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 this week
- A successor to the much revered and sorely missed UQ Timetable Plannerβ30Updated 3 months ago
- UQCSbot: our friendly little Slack botβ54Updated last year
- Liquid Types For Haskellβ1,257Updated 3 weeks ago
- An introduction to programming language theory in Agdaβ1,454Updated 2 weeks ago
- a challenge for Haskell beginnersβ461Updated 2 years ago
- Proving leftpad correct two-dozen different waysβ694Updated 5 months ago
- Industrial-strength monadic parser combinator libraryβ954Updated 2 weeks ago
- A declarative Unix terminal UI library written in Haskellβ1,668Updated this week
- Minimal implementations for dependent type checking and elaborationβ733Updated last month
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.β260Updated this week
- Algebraic graphsβ745Updated last month
- A formatter for Haskell source codeβ1,017Updated last month
- Several translations of segment trees for CMU's 15-451 (Algorithms).β21Updated 4 years ago
- π Safe, performant, user-friendly and lightweight Haskell standard libraryβ726Updated last month
- π΅οΈ Haskell STatic ANalyserβ583Updated 3 weeks ago
- Resource gathering + programming gameβ885Updated last week
- Haskell library for building declarative animations based on SVG graphicsβ1,160Updated 7 months ago
- A formal logic framework that runs in the browserβ302Updated 9 months ago
- higher-order, no-boilerplate monadsβ1,061Updated 6 months ago
- Applicative option parserβ952Updated 2 months ago
- Maintainable configuration filesβ947Updated last week
- A type-safe, non-TH Haskell SQL library and ORMβ602Updated last month
- Official Haskell IDE support via the language server protocol (LSP)β2,835Updated this week
- Nix and Haskell in productionβ1,161Updated 2 years ago
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghcβ1,958Updated 2 years ago
- Alistair Moffat fan pageβ16Updated 3 years ago
- Simple interface to see the history of course demand and allocationβ45Updated last month
- Very low feature GHCi based IDEβ1,164Updated last year
- A prompt engineering functional programming languageβ440Updated this week