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 9 months ago
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated 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
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆55Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆281Updated 2 months ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆640Updated 2 years ago
• multun / raytracer-project-base
  A simple raytracer meant to be used as a foundation for slightly better ones.
  ☆20Updated 4 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆286Updated 3 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 10 months ago
• ccz181078 / Coq-BB5
  ☆185Updated last week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆97Updated last week
• nusdistsys / NUS_DYOM
  This is a catalogue of all past and present NUS DYOMS
  ☆9Updated 3 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆221Updated 2 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• leowhitehead / x
  X: A programming language that only accepts identifiers that look like the letter 'x'. Inspired by https://xkcd.com/2309/
  ☆42Updated 3 years ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆153Updated 4 years ago
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 3 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆155Updated 2 weeks ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆355Updated this week
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆261Updated 6 months ago
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆179Updated this week
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆23Updated last year
• LeifAndersen / PLGradSchools
  ☆227Updated 6 months ago
• dmadisetti / rules_euler
  Bazel rules for Project Euler
  ☆16Updated 4 years ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆273Updated last year
• proost-assistant / proost
  A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
  ☆28Updated 6 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated 2 weeks ago