Alternatives and similar repositories for seminar-2022

Users that are interested in seminar-2022 are comparing it to the libraries listed below

• snu-sf-class / pp202302

  View on GitHub
  Programming Principles, SNU 4190.210, 2023 Fall
  ☆21Dec 6, 2023Updated 2 years ago
• wafflestudio / seminar-2020

  View on GitHub
  2020 Rookies 세미나
  ☆27Oct 26, 2022Updated 3 years ago
• snu-sf-class / pp202202

  View on GitHub
  ☆17Dec 8, 2022Updated 3 years ago
• wafflestudio / snutt-ios

  View on GitHub
  iOS version for SNUTT
  ☆26Updated this week
• wafflestudio / snutt

  View on GitHub
  Seoul National University TimeTable service
  ☆21Updated this week
• mathpresso / go-utils

  View on GitHub
  Mathpresso Go Utility Repository
  ☆11Dec 12, 2022Updated 3 years ago
• wafflestudio / snutt-nodejs

  View on GitHub
  SNU Timetable (deprecated)
  ☆39Jan 24, 2025Updated last year
• Zeta611 / simplebnf.typ

  View on GitHub
  A simple package to format Backus-Naur form
  ☆14Updated this week
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• wafflestudio / snutt-webclient

  View on GitHub
  SNUTT web 클라이언트
  ☆14Feb 8, 2023Updated 3 years ago
• Steemhunt / dixel-contract

  View on GitHub
  ☆16Apr 19, 2022Updated 3 years ago
• yhyoon / simba

  View on GitHub
  Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation
  ☆22Dec 3, 2023Updated 2 years ago
• Zeta611 / easyword

  View on GitHub
  🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)
  ☆36Updated this week
• just-dodo / issue-to-notion

  View on GitHub
  issue-to-notion
  ☆30Nov 29, 2020Updated 5 years ago
• CodeChain-io / foundry

  View on GitHub
  A programmable open source blockchain engine
  ☆37Jan 20, 2023Updated 3 years ago
• cool-mist / math_is_beautiful

  View on GitHub
  Collection of interesting patterns, inspired by nature, powered by p5js
  ☆10Jun 2, 2018Updated 7 years ago
• toss / toss-login-android-sdk

  View on GitHub
  토스 로그인 Android SDK 를 위한 모노레포입니다.
  ☆10Mar 14, 2024Updated last year
• tomtomjhj / vsrocq.nvim

  View on GitHub
  A Neovim client for VsCoq 2 vscoqtop.
  ☆11Nov 8, 2025Updated 3 months ago
• tsiemens / vim-aftercolors

  View on GitHub
  Provides support for after/colors/ scripts (Mirrors Peter Hodge's AfterColors.vim on vim.org)
  ☆11May 7, 2017Updated 8 years ago
• gathertown / twitch-plays-gather

  View on GitHub
  ☆11Jul 25, 2024Updated last year
• bluesignum / Audio-SentenceSplit

  View on GitHub
  With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …
  ☆10Feb 28, 2019Updated 6 years ago
• rtgiskard / bibata_cursor

  View on GitHub
  Bibata Cursor, with support for hyprcursor and Xcursor
  ☆19Jan 28, 2025Updated last year
• Origogi / mobile-declarative-pokedex-app

  View on GitHub
  Pokedex App by Mobile Declarative UI Pattern
  ☆11Aug 4, 2024Updated last year
• ENvironmentSet / overcurried

  View on GitHub
  Personal blog of ENvironmentSet based on oversomething.
  ☆14Oct 29, 2024Updated last year
• gmevel / euler-lib

  View on GitHub
  an arithmetic library for OCaml’s native integers
  ☆11Jun 30, 2024Updated last year
• janestreet / ppx_typed_fields

  View on GitHub
  GADT-based field accessors and utilities
  ☆17Jan 15, 2026Updated 3 weeks ago
• hongseok-yang / logic24

  View on GitHub
  ☆12May 30, 2024Updated last year
• agarwal / ppx_basic_demo

  View on GitHub
  Basic demo of OCaml's PPX feature.
  ☆10Mar 22, 2015Updated 10 years ago
• ezyang / HoTT-coqex

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

  View on GitHub
  latex class for manuals
  ☆11Sep 10, 2024Updated last year
• Zeta611 / polycalc

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• YAPP-Github / 20th-Android-Team-2-Android

  View on GitHub
  절친 안드로이드 프로젝트
  ☆12Nov 15, 2022Updated 3 years ago
• AndroidDevNews / AdventCalendar2025

  View on GitHub
  Hosted by AndroidDev_News, this challenge is designed to help you level up your Jetpack Compose skills—specifically focusing on `Canvas`,…
  ☆26Nov 30, 2025Updated 2 months ago
• manito-project / manitto-android

  View on GitHub
  우리 모임 아이스브레이킹의 시작, 산타마니또
  ☆11Jun 29, 2025Updated 7 months ago
• namooplus / NamooProtector

  View on GitHub
  🔵 [App][Android] AppLock for Android
  ☆12Aug 31, 2020Updated 5 years ago
• inc-lc / ilc-agda

  View on GitHub
  Machine-checked Agda formalization for the ILC project
  ☆15Apr 6, 2018Updated 7 years ago
• YiHoze / texwrapper

  View on GitHub
  Wrapper scripts to make documentation easier
  ☆13Updated this week
• JadenGeller / Calcula

  View on GitHub
  Swift lambda calculus functions supporting intensional equality
  ☆12Jun 19, 2016Updated 9 years ago
• sparkfun / qwiic_serlcd_py

  View on GitHub
  Python module for I2C control of the SparkFun Qwiic Serial LCDs
  ☆13May 28, 2025Updated 8 months ago