Alternatives and similar repositories for pp202302

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

• snu-sf-class / pp202402

  View on GitHub
  Programming Principles, SNU 4190.210, 2024 Fall
  ☆22Dec 26, 2024Updated last year
• wafflestudio / seminar-2022

  View on GitHub
  와플스튜디오 20.5기 Rookies Repository
  ☆32Sep 10, 2023Updated 2 years ago
• dongjaelee1 / refinement-tutorial

  View on GitHub
  Tutorial for refinement based verification
  ☆15Jan 16, 2026Updated 3 weeks ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• mindori / linkpress

  View on GitHub
  Turn your Slack links into a personal tech magazine with AI-powered summaries
  ☆54Feb 1, 2026Updated last week
• gluesql / gluesql-learn

  View on GitHub
  Let's learn GlueSQL 🎱
  ☆13Apr 29, 2023Updated 2 years ago
• 24seconds / orka

  View on GitHub
  Okra is Peer to Peer LAN data sharing service
  ☆12Oct 22, 2023Updated 2 years ago
• steveking-gh / brink

  View on GitHub
  Brink is a domain specific language for linking and composing binary files.
  ☆12Jul 6, 2021Updated 4 years ago
• utilForever / recommend-books

  View on GitHub
  My recommended computer programming book list
  ☆12May 31, 2022Updated 3 years ago
• ezyang / HoTT-coqex

  View on GitHub
  Coq solutions to exercises in HoTT book
  ☆12Jan 31, 2014Updated 12 years ago
• jeffijoe / keyblade

  View on GitHub
  Fail fast when accessing undefined properties on objects.
  ☆14Jan 24, 2017Updated 9 years ago
• laftel-team / subdeploy

  View on GitHub
  Sudeploy is a tool that allows you to deploy a service to multiple instances with a single request via subscription model.
  ☆10Aug 25, 2022Updated 3 years ago
• rust-kr / open-source-2022

  View on GitHub
  Let's contribute to open source! (2022)
  ☆12Oct 2, 2022Updated 3 years ago
• cr0sh / nerf

  View on GitHub
  No-nonsense, elegant request framework
  ☆11May 22, 2023Updated 2 years ago
• zth / vscode-rescript-relay

  View on GitHub
  ☆15May 16, 2023Updated 2 years ago
• portone-io / birecord

  View on GitHub
  Bi-directional record in type-safe way
  ☆17Sep 26, 2024Updated last year
• utilForever / minesweeper-rs

  View on GitHub
  A simple minesweeper game using Rust and windows-rs
  ☆15Aug 22, 2021Updated 4 years ago
• hydro-dev / ui-default

  View on GitHub
  Default UI for Hydro
  ☆10Apr 3, 2021Updated 4 years ago
• CodeChain-io / rust-codechain-db

  View on GitHub
  Databases that CodeChain uses
  ☆13Aug 12, 2020Updated 5 years ago
• osmosis-labs / bindings

  View on GitHub
  Custom CosmWasm bindings for the Osmosis chain
  ☆16Oct 13, 2022Updated 3 years ago
• genieCS / game2048-rs

  View on GitHub
  ☆15May 4, 2023Updated 2 years ago
• cometkim / dotfiles

  View on GitHub
  My OS configuration files
  ☆17Feb 6, 2026Updated last week
• rsbm / yab

  View on GitHub
  yew + axum + blog = yab
  ☆14Jan 16, 2022Updated 4 years ago
• youknowone / baembal

  View on GitHub
  Boost ast.parse with RustPython-powered parser technology
  ☆15May 23, 2023Updated 2 years ago
• gshstexsociety / gshs-format

  View on GitHub
  LaTeX 양식 : R&E, 졸업논문, beamer 등등 - 컴파일된 결과 pdf파일 미포함
  ☆63Mar 11, 2025Updated 11 months ago
• CodeChain-io / rust-iblt

  View on GitHub
  Invertible bloom lookup table implementation in Rust
  ☆17Oct 17, 2019Updated 6 years ago
• yoo2001818 / gb-emulator-js

  View on GitHub
  Gameboy Emulator in JS
  ☆15Aug 19, 2023Updated 2 years ago
• carlosmiei / ast-transpiler

  View on GitHub
  AST Transpiler that converts Typescript into different languages (PHP, Python, C# (wip))
  ☆21Nov 4, 2023Updated 2 years ago
• plorefice / gib

  View on GitHub
  GameBoy emulator written in Rust
  ☆18Nov 27, 2025Updated 2 months ago
• daangn / oauth-oidc-practice

  View on GitHub
  "쓰면서 배우는 OAuth 2.0 & OpenID Connect" 자료 저장소
  ☆24Jan 24, 2024Updated 2 years ago
• w3c-ccg / ethereum-eip712-signature-2021-spec

  View on GitHub
  ☆14Nov 8, 2022Updated 3 years ago
• jojoldu / jira-in-action

  View on GitHub
  Jira 사용팁
  ☆11Feb 5, 2023Updated 3 years ago
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆29Oct 24, 2025Updated 3 months ago
• 24seconds / localdrop

  View on GitHub
  Peer to Peer LAN data sharing service
  ☆15Feb 11, 2023Updated 3 years ago
• gnoverse / tlin

  View on GitHub
  Advanced Linter for Gno
  ☆14Jan 12, 2026Updated last month
• GoldenMaximo / Deno-To-Do

  View on GitHub
  ✅ To-Do App made with Deno, React.js & MongoDB
  ☆17Oct 29, 2020Updated 5 years ago
• snu-sf-class / pp202202

  View on GitHub
  ☆17Dec 8, 2022Updated 3 years ago
• kaist-cp / cs220

  View on GitHub
  ☆293Nov 27, 2024Updated last year