summerprogram2019 / orange

Related projects ⓘ

Alternatives and complementary repositories for orange

• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆21Updated 6 months ago
• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated this week
• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated last year
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆26Updated 5 months ago
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated this week
• ldgrp / uptop
  A terminal client for Up Bank written in Haskell ⚡.
  ☆47Updated 10 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆350Updated last week
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆272Updated 4 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆222Updated this week
• agda / cubical
  An experimental library for Cubical Agda
  ☆459Updated this week
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆360Updated 4 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆650Updated this week
• snowleopard / alga
  Algebraic graphs
  ☆719Updated 6 months ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆619Updated 2 months ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆359Updated 10 months ago
• Willem3141 / plover_dutch
  My Dutch steno theory and dictionary
  ☆10Updated 4 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆289Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆243Updated this week
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆321Updated 2 months ago
• R-O-C-K-E-T / Factorio-SAT
  Enhancing the Factorio experience with SAT solvers
  ☆668Updated 2 months ago
• coq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆503Updated 3 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆274Updated 2 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆287Updated 9 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆349Updated 2 months ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆449Updated 3 years ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆754Updated 9 months ago
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆440Updated last year
• UniMath / SymmetryBook
  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …
  ☆397Updated last week
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆344Updated this week
• agda / agda-categories
  A new Categories library for Agda
  ☆369Updated last week