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 9 months ago
• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated 3 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
  ☆55Updated last year
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated 2 months ago
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆26Updated last month
• ldgrp / uptop
  A terminal client for Up Bank written in Haskell ⚡.
  ☆48Updated last year
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆664Updated 3 months ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆362Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆359Updated this week
• Willem3141 / plover_dutch
  My Dutch steno theory and dictionary
  ☆11Updated 7 months ago
• UQComputingSociety / website
  The UQ Computing Society website.
  ☆12Updated this week
• frizensami / nus-timetable-optimizer
  Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to th…
  ☆19Updated 7 months ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆173Updated this week
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆244Updated 3 weeks ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• arianneorpilla / jidoujisho
  A full-featured immersion language learning suite for mobile.
  ☆1,114Updated 3 months ago
• coq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆337Updated last month
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆181Updated 3 weeks ago
• agda / cubical
  An experimental library for Cubical Agda
  ☆468Updated this week
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆282Updated last month
• UniMath / agda-unimath
  The agda-unimath library
  ☆237Updated this week
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆164Updated 2 weeks ago
• mifunetoshiro / kanjium
  The ultimate kanji resource
  ☆291Updated 8 months ago
• fourmolu / fourmolu
  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
  ☆386Updated 2 weeks ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆243Updated this week
• jespercockx / scope
  An agda2hs-compatible library for well-scoped syntax
  ☆10Updated 3 weeks ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆249Updated 2 months ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆281Updated 2 months ago