Alternatives and similar repositories for orange

Users that are interested in orange are comparing it to the libraries listed below

• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 3 weeks ago
• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated 10 months ago
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆30Updated 4 months ago
• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated 2 years ago
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆54Updated last year
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated last month
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,161Updated 8 months ago
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 9 months ago
• kowainik / relude
  🌀 Safe, performant, user-friendly and lightweight Haskell standard library
  ☆726Updated 2 weeks ago
• Trontor / lookahead
  A semester planner for students at The University of Melbourne.
  ☆29Updated 2 years ago
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆461Updated 2 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆695Updated 5 months ago
• snowleopard / alga
  Algebraic graphs
  ☆747Updated 2 months ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆733Updated 2 months ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆581Updated last week
• tweag / ormolu
  A formatter for Haskell source code
  ☆1,020Updated last week
• agda / cubical
  An experimental library for Cubical Agda
  ☆507Updated this week
• haskell-effectful / effectful
  An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
  ☆440Updated last month
• haskell / vscode-haskell
  VS Code extension for Haskell, powered by haskell-language-server
  ☆588Updated last week
• Gabriella439 / haskell-nix
  Nix and Haskell in production
  ☆1,164Updated 2 years ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆633Updated 5 months ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆303Updated 9 months ago
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,062Updated 6 months ago
• swarm-game / swarm
  Resource gathering + programming game
  ☆887Updated this week
• soupi / haskell-study-plan
  An opinionated list of resources for learning Haskell
  ☆923Updated 3 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆52Updated 2 years ago
• BartoszMilewski / DaoFP
  The Dao of Functional Programming
  ☆486Updated last month
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆401Updated 2 weeks ago
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆657Updated last year
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,458Updated this week