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 2 months ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 8 months ago
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated last month
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated 11 months ago
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆55Updated last year
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 4 months ago
• petersn / web-sploosh-kaboom
  Sploosh Kaboom web interface
  ☆209Updated last year
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆635Updated 2 years ago
• KeeyanGhoreshi / PokemonFireredSingleSequence
  A list of inputs that will beat the vast majority of Pokemon Firered games
  ☆190Updated last year
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆447Updated last year
• eduxstad / boiler-grades
  code and data for https://boilergrades.com
  ☆26Updated 6 months ago
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆157Updated last year
• mattcurrie / dmg-acid2
  😀 The Acid2 test, now for the original Game Boy! 😀
  ☆187Updated 7 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆278Updated 2 weeks ago
• linoscope / CAMLBOY
  A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮
  ☆530Updated 2 years ago
• virtualjpeg / blocky
  ☆36Updated 2 years ago
• Luc-Olsthoorn / Registr
  Schedule options calculator for UF
  ☆19Updated last year
• Zekfoo / AGZ
  A circuit-level redesign of the Game Boy Advance, addressing many of the issues seen with the original GBA
  ☆423Updated 3 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆17Updated last year
• jbman223 / EarlyAP
  Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…
  ☆108Updated 2 years ago
• profsucrose / cevm
  Lightweight EVM implementation
  ☆9Updated 2 years ago
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 2 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆451Updated 3 years ago
• VikeLabs / courseup
  An open-source website built to simplify the experience of searching courses and building timetables for the University of Victoria.
  ☆42Updated 6 months ago
• tracer-protocol / perpetual-contracts
  Smart contracts for the Tracer perpetual swaps protocol
  ☆11Updated 3 years 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.
  ☆294Updated 10 months ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆191Updated 2 months ago
• VeraBE / VeriMan
  Analysis tool for Solidity smart contracts. Prototype.
  ☆36Updated last year
• howard36 / probase
  An online math contest platform
  ☆18Updated last month