katrinafyi / how-behind

Related projects ⓘ

Alternatives and complementary repositories for how-behind

• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated last year
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated 9 months ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆21Updated 6 months ago
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated this week
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆26Updated 5 months ago
• 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
• ccz181078 / Coq-BB5
  ☆157Updated this week
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆619Updated 2 months ago
• kspalaiologos / lc-apl
  Journey to the Center of the Lambda Calculus
  ☆12Updated last year
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆188Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆243Updated this week
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆58Updated 3 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆272Updated 4 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 7 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆236Updated 2 months ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆360Updated 4 years ago
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆440Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆222Updated this week
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆233Updated this week
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆147Updated last week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆88Updated 2 weeks ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆177Updated last week
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆274Updated 2 months ago
• kspalaiologos / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆489Updated last year
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆113Updated 2 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆207Updated 6 months ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆625Updated 2 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆349Updated 2 months ago