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 / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated last week
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆26Updated 3 months ago
• ldgrp / uptop
  A terminal client for Up Bank written in Haskell ⚡.
  ☆48Updated this week
• BlackboardFS / bbfs
  A filesystem driver that allows you to view your Blackboard course contents as if they were normal files and folders on your system!
  ☆36Updated 10 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆100Updated last year
• kspalaiologos / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆505Updated 2 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆221Updated this week
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 3 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆157Updated last month
• tsoding / haskell-json
  Source Code for JSON Parser Video
  ☆185Updated 2 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆366Updated last week
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated last year
• Voltara / advent2020-fast
  ☆39Updated 11 months ago
• digama0 / mm0
  Metamath Zero specification language
  ☆338Updated last week
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆253Updated this week
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• j-mie6 / gigaparsec
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆18Updated 2 weeks ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆254Updated 2 months ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆473Updated this week
• simmsb / calamity
  A library for writing discord bots in haskell
  ☆115Updated 6 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆246Updated 3 weeks ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• leanprover-community / lean4-metaprogramming-book
  ☆241Updated last month
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆95Updated last week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• iamgio / pikt
  Image-based poetic programming language.
  ☆135Updated 8 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆175Updated this week
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆262Updated 8 months ago