Alternatives and similar repositories for orange

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

• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated 7 months ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated last year
• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated 2 years ago
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆28Updated 2 weeks ago
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆55Updated last year
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated 2 months ago
• ldgrp / uptop
  A terminal client for Up Bank written in Haskell ⚡.
  ☆48Updated 2 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆374Updated last week
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆176Updated this week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆391Updated 2 weeks ago
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆16Updated 12 years ago
• input-output-hk / haskell.nix
  Alternative Haskell Infrastructure for Nixpkgs
  ☆591Updated this week
• snowleopard / alga
  Algebraic graphs
  ☆739Updated last month
• agda / cubical
  An experimental library for Cubical Agda
  ☆491Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆254Updated this week
• tweag / ormolu
  A formatter for Haskell source code
  ☆1,000Updated last month
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆677Updated 2 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆263Updated 4 months ago
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆17Updated 9 months ago
• haskell-effectful / effectful
  An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
  ☆424Updated this week
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆229Updated last year
• srid / haskell-template
  Haskell project template using Nix + Flakes + VSCode (HLS)
  ☆256Updated this week
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 6 months ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆200Updated last week
• haskellweekly / haskellweekly
  Publishes curated news about the Haskell programming language.
  ☆151Updated last week
• glguy / advent
  Advent of Code complete solution archive and common library
  ☆45Updated 5 months ago
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆156Updated 2 months ago
• pcapriotti / optparse-applicative
  Applicative option parser
  ☆939Updated 2 weeks ago