Alternatives and similar repositories for uqtp

Users that are interested in uqtp are comparing it to the libraries listed below

• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated last year
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 4 months ago
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated last month
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆30Updated 7 months ago
• insou22 / mipsy
  Education-focused MIPS Emulator written in Rust.
  ☆103Updated 7 months ago
• howard36 / probase
  An online math contest platform
  ☆22Updated 2 weeks ago
• digama0 / frat
  DRAT proof processor
  ☆16Updated 2 years ago
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• TomWildenhain / pptcc
  ☆479Updated 4 years ago
• petersn / web-sploosh-kaboom
  Sploosh Kaboom web interface
  ☆216Updated 2 years ago
• jsettlem / elo_world_pokemon_red
  A giant tournament of all the enemy AI trainers in Pokémon Red
  ☆171Updated 4 years ago
• facebookarchive / smt2utils
  Libraries and tools for the SMT-LIB-2 standard.
  ☆24Updated 4 years 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
  ☆67Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆355Updated 4 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• narodnik / abstract-algebra-pinter-solutions
  Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
  ☆49Updated 2 years ago
• zackradisic / aussieplusplus
  Programming language from down under
  ☆631Updated 3 years ago
• pornin / paradox-compress
  Paper and Demo Implementation of Paradoxical Compression with VDF
  ☆175Updated 3 years ago
• profsucrose / rustycraft
  Simple Minecraft/Voxel engine implementation in Rust using OpenGL
  ☆25Updated 2 years ago
• a-ellison / cx-enable-vim
  Browser extension to enable vim mode in the embedded IDE used in Code Expert.
  ☆15Updated 3 months ago
• proost-assistant / proost
  A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
  ☆31Updated last week
• matchamonday / matchamonday.net
  Matcha Monday Webring
  ☆12Updated last month
• polygolf-lang / polygolf
  Polyglot autogolfer for https://code.golf
  ☆21Updated last year
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆680Updated 3 years ago
• ecpeterson / FormalGeomNotes
  Notes from the 278 semester class at Harvard
  ☆19Updated last week
• lunaflight / courserekt
  Simple interface to see the history of course demand and allocation
  ☆44Updated 3 weeks ago
• COMP1511UNSW / dcc
  dcc - a C compiler which explains errors to novice programmers
  ☆169Updated last year
• gmp-mirror / gmp
  Unofficial mirror of GMP development branch
  ☆21Updated 11 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆283Updated last month
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆59Updated 8 months ago