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
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 10 months ago
• ldgrp / uptop
  A terminal client for Up Bank written in Haskell ⚡.
  ☆47Updated last year
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆26Updated 2 months ago
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆55Updated last year
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 3 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆287Updated 3 months ago
• TricksterGuy / complx
  Extensible LC-3 Simulator (GUI and CLI), Assembler, and Autograder/Test Framework written in C++. Mainly used in CS2110 at Georgia Tech
  ☆66Updated 2 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆304Updated 2 weeks ago
• NunoDasNeves / haskell-c-compiler
  Learning Haskell for the first time and using it to write a simple C compiler
  ☆25Updated 7 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆220Updated this week
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆452Updated last year
• Voltara / advent2020-fast
  ☆39Updated 10 months ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆30Updated 2 months ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆433Updated last week
• nasa / ogma
  Generator of runtime monitors for flight and robotics applications.
  ☆388Updated last week
• yolc-dev / yul-dsl-monorepo
  The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …
  ☆33Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆366Updated this week
• algorithms-are-fun / amoffat-fan-page
  Alistair Moffat fan page
  ☆16Updated 2 years ago
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 2 years ago
• geaz / emu-gameboy
  A Gameboy emulator written in C++
  ☆80Updated 5 years ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆262Updated 7 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated 2 months ago
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,146Updated last month
• Gekkio / gb-ctr
  Game Boy: Complete Technical Reference
  ☆363Updated 2 weeks ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆452Updated 3 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆98Updated last year
• stong / bad-tweet-firewall
  Chrome extension that highlights unwanted tweets
  ☆42Updated last month
• rmehri01 / thock
  ⌨️ A modern TUI typing game featuring online racing against friends.
  ☆93Updated 3 years ago