katrinafyi / uqtp

Related projects ⓘ

Alternatives and complementary repositories for uqtp

• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated this week
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆21Updated 6 months ago
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated 9 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
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆243Updated this week
• ccz181078 / Coq-BB5
  ☆157Updated this week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆292Updated 8 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆274Updated 2 months ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆625Updated 2 years ago
• KeeyanGhoreshi / PokemonFireredSingleSequence
  A list of inputs that will beat the vast majority of Pokemon Firered games
  ☆188Updated last year
• howard36 / probase
  An online math contest platform
  ☆17Updated last week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆350Updated last week
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆49Updated 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 2 years ago
• devkitPro / libnds
  C library for Nintendo DS
  ☆334Updated this week
• petersn / web-sploosh-kaboom
  Sploosh Kaboom web interface
  ☆208Updated last year
• cjquines / tsqx
  Asymptote preprocessor
  ☆12Updated 2 years 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
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆440Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆289Updated last year
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 10 months ago
• digama0 / mm0
  Metamath Zero specification language
  ☆317Updated this week
• SM64-TAS-ABC / STROOP
  SuperMario64 Technical Run-time Observer and Object Processor
  ☆170Updated 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
• jeertmans / manim-slides
  Tool for live presentations using manim
  ☆486Updated this week
• woodrush / lisp-in-life
  A Lisp interpreter implemented in Conway's Game of Life
  ☆453Updated 2 years ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆344Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆255Updated this week