Alternatives and similar repositories for how-behind

Users that are interested in how-behind are comparing it to the libraries listed below

• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated 2 years ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 3 months ago
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated 3 weeks ago
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆30Updated 6 months ago
• ldgrp / uptop
  A terminal client for Up Bank written in Haskell ⚡.
  ☆50Updated 8 months ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• ccz181078 / Coq-BB5
  ☆352Updated 3 months ago
• Voltara / advent2020-fast
  ☆39Updated last year
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆412Updated this week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 4 years ago
• charlielidbury / ochre
  A systems theorem prover
  ☆12Updated last year
• digama0 / mm0
  Metamath Zero specification language
  ☆365Updated last week
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆678Updated 3 years ago
• TomWildenhain / pptcc
  ☆479Updated 4 years ago
• TastemakerDesign / randomness-testing-guide
  A beginner's guide to randomness testing with a focus on simplicity and explainability.
  ☆37Updated 3 weeks ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 9 months ago
• moshev / TemplateQueens
  Some simple C++ template abuse
  ☆19Updated 6 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆308Updated this week
• leanprover-community / NNG4
  Natural Number Game
  ☆273Updated last week
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆54Updated 2 years ago
• proost-assistant / proost
  A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
  ☆30Updated last year
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆130Updated 4 months ago
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆614Updated this week
• Rjected / Cline-Resume
  Cline-Resume is a TeX resume template inspired by the Deedy Resume and work by Damian Watracz
  ☆26Updated 3 years ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆268Updated last year
• glguy / advent2020
  Advent of Code 2020 Haskell Solutions
  ☆16Updated 5 years ago
• digama0 / frat
  DRAT proof processor
  ☆16Updated 2 years ago
• ligma-io / ligma.io
  ☆17Updated 3 months ago