snu-sf-class/sf201802 external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

snu-sf-class/sf201802

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/snu-sf-class/sf201802)

Close

snu-sf-class / sf201802View on GitHubMore

• External links
• Readme badge

컴퓨터 신기술 특강

☆13Dec 22, 2018Updated 7 years ago

Alternatives and similar repositories for sf201802

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

• snu-sf / Ordinal

  View on GitHub
  ☆15Aug 3, 2025Updated 7 months ago
• snu-sf / paco

  View on GitHub
  A Coq library for parametric coinduction
  ☆51Jan 30, 2025Updated last year
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• simnalamburt / snucse.pl

  View on GitHub
  4190.310 Programming Languages (Fall 2015)
  ☆37Sep 28, 2017Updated 8 years ago
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• choonguri / dl-3cushion-hint

  View on GitHub
  딥러닝을 이용한 3쿠션 힌트 안드로이드앱(3-Cushion Hint with Deep Learning)
  ☆13Jun 2, 2021Updated 4 years ago
• aqjune / llvmscript

  View on GitHub
  One-for-all python script for running LLVM experiment
  ☆11Jun 30, 2022Updated 3 years ago
• somma / bob_dbg

  View on GitHub
  ☆10Aug 26, 2016Updated 9 years ago
• exp-sky / MemoryProtection

  View on GitHub
  微软7月布丁增加内存延迟释放机制
  ☆11Jul 19, 2014Updated 11 years ago
• rtgiskard / bibata_cursor

  View on GitHub
  Bibata Cursor, with support for hyprcursor and Xcursor
  ☆19Jan 28, 2025Updated last year
• Caesurus / PicoCTF2017

  View on GitHub
  Writeups for PicoCTF2017 Challenges
  ☆10Apr 16, 2017Updated 8 years ago
• ElberTavares / routers-exploit

  View on GitHub
  ☆11Feb 28, 2020Updated 6 years ago
• freeide2017 / CVE-2021-33739-POC

  View on GitHub
  ☆10Jun 9, 2021Updated 4 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
• tomtomjhj / vsrocq.nvim

  View on GitHub
  A Neovim client for VsCoq 2 vscoqtop.
  ☆12Nov 8, 2025Updated 4 months ago
• Fuzion24 / WebAPKCrawler

  View on GitHub
  Uses Google to search for .apks hosted on websites and downloads them
  ☆19Aug 2, 2014Updated 11 years ago
• RedyOpsResearchLabs / CVE-2020-7283-McAfee-Total-Protection-MTP-16.0.R26-EoP

  View on GitHub
  ☆13Jul 14, 2020Updated 5 years ago
• 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 7 years ago
• 0xneox / QNAP-QTS-RCE

  View on GitHub
  A python RCE exploit on QNAP-QTS
  ☆14Sep 15, 2020Updated 5 years ago
• VoidSec / CVE-2019-5624

  View on GitHub
  A proof of concept for Metasploit's CVE-2019-5624 vulnerability (Rubyzip insecure ZIP handling RCE)
  ☆13May 2, 2019Updated 6 years ago
• lanrat / CHVBadge_16

  View on GitHub
  Stuff for the DEFCON 24 Car Hacking Village Badge
  ☆13Sep 4, 2016Updated 9 years ago
• jvoisin / yara_rules

  View on GitHub
  Some yara rules and tools
  ☆16Feb 12, 2014Updated 12 years ago
• ruckuus / kernel-abuse

  View on GitHub
  collection of evil code
  ☆14Feb 20, 2013Updated 13 years ago
• freeide / CVE-2021-31955-POC

  View on GitHub
  ☆13Jun 26, 2021Updated 4 years ago
• ribasushi / rfbproxy

  View on GitHub
  ☆11Jan 5, 2022Updated 4 years ago
• JadenGeller / Calcula

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

  View on GitHub
  ☆11Mar 12, 2021Updated 4 years ago
• cpuu / lmc

  View on GitHub
  Script for automating Linux memory capture and analysis
  ☆13May 6, 2020Updated 5 years ago
• parti-coop / dapp101

  View on GitHub
  이더리움 기반의 dapp을 만들어봅니다
  ☆13Sep 11, 2018Updated 7 years ago
• nihilus / detpdb

  View on GitHub
  ☆14Jan 24, 2016Updated 10 years ago
• gmevel / euler-lib

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

  View on GitHub
  XTM F학점 공대형 낚시 편 장비
  ☆10Oct 26, 2016Updated 9 years ago
• SaberMod / android_prebuilts_gcc_linux-x86_arm_sabermod-arm-linux-androideabi-4.9

  View on GitHub
  SaberMod GCC 4.9 toolchain
  ☆14Jul 24, 2013Updated 12 years ago
• aptos-labs / move-smith

  View on GitHub
  Specialized fuzzer for the Move compilers and the VM
  ☆17Nov 13, 2025Updated 3 months ago
• echothrust / athcon-ctf

  View on GitHub
  Athc0n 2012 CTF setups
  ☆15Mar 12, 2015Updated 10 years ago
• agarwal / ppx_basic_demo

  View on GitHub
  Basic demo of OCaml's PPX feature.
  ☆10Mar 22, 2015Updated 10 years ago
• saaramar / echo_googlequals2020

  View on GitHub
  ☆12Sep 8, 2020Updated 5 years ago
• janestreet / ppx_typed_fields

  View on GitHub
  GADT-based field accessors and utilities
  ☆17Jan 15, 2026Updated last month
• tilfin / detect-http-attack

  View on GitHub
  Detecting attack tool for HTTP server such as Apache and Nginx.
  ☆10Dec 22, 2013Updated 12 years ago