Alternatives and similar repositories for sf201802

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

• snu-sf / paco

  View on GitHub
  A Coq library for parametric coinduction
  ☆51Jan 30, 2025Updated last year
• friendliai / periflow-cli

  View on GitHub
  Welcome to PeriFlow CLI ☁︎
  ☆12Aug 3, 2023Updated 2 years ago
• 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
• 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
• DissectMalware / npp-langs-4-sec

  View on GitHub
  Notepad++ Syntax Highlighting for Languages Used by Cyber Security Professionals
  ☆14May 31, 2020Updated 5 years ago
• 0xneox / QNAP-QTS-RCE

  View on GitHub
  A python RCE exploit on QNAP-QTS
  ☆14Sep 15, 2020Updated 5 years ago
• Caesurus / PicoCTF2017

  View on GitHub
  Writeups for PicoCTF2017 Challenges
  ☆10Apr 16, 2017Updated 8 years ago
• RedyOpsResearchLabs / CVE-2020-7283-McAfee-Total-Protection-MTP-16.0.R26-EoP

  View on GitHub
  ☆13Jul 14, 2020Updated 5 years ago
• ElberTavares / routers-exploit

  View on GitHub
  ☆11Feb 28, 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 6 years ago
• rtgiskard / bibata_cursor

  View on GitHub
  Bibata Cursor, with support for hyprcursor and Xcursor
  ☆19Jan 28, 2025Updated last year
• 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
• 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
• Fuzion24 / WebAPKCrawler

  View on GitHub
  Uses Google to search for .apks hosted on websites and downloads them
  ☆19Aug 2, 2014Updated 11 years ago
• friendliai / LLMServingPerfEvaluator

  View on GitHub
  ☆48Sep 7, 2024Updated last year
• gmevel / euler-lib

  View on GitHub
  an arithmetic library for OCaml’s native integers
  ☆11Jun 30, 2024Updated last year
• 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
• Zeta611 / polycalc

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• hongseok-yang / logic24

  View on GitHub
  ☆12May 30, 2024Updated last year
• janestreet / ppx_typed_fields

  View on GitHub
  GADT-based field accessors and utilities
  ☆17Jan 15, 2026Updated last month
• cpuu / lmc

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

  View on GitHub
  collection of evil code
  ☆14Feb 20, 2013Updated 12 years ago
• tilfin / detect-http-attack

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

  View on GitHub
  Identity management service for SNUCSE
  ☆10Jan 28, 2026Updated 2 weeks ago
• JadenGeller / Calcula

  View on GitHub
  Swift lambda calculus functions supporting intensional equality
  ☆12Jun 19, 2016Updated 9 years ago
• aptos-labs / move-smith

  View on GitHub
  Specialized fuzzer for the Move compilers and the VM
  ☆17Nov 13, 2025Updated 3 months ago
• YiHoze / HzGuide

  View on GitHub
  latex class for manuals
  ☆11Sep 10, 2024Updated last year
• avast / retdec-regression-tests-framework

  View on GitHub
  A framework for writing and running regression tests for RetDec and related tools.
  ☆24Feb 3, 2025Updated last year
• nihilus / detpdb

  View on GitHub
  ☆14Jan 24, 2016Updated 10 years ago
• freeide / CVE-2021-31955-POC

  View on GitHub
  ☆13Jun 26, 2021Updated 4 years ago
• agarwal / ppx_basic_demo

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

  View on GitHub
  XTM F학점 공대형 낚시 편 장비
  ☆10Oct 26, 2016Updated 9 years ago
• jvoisin / yara_rules

  View on GitHub
  Some yara rules and tools
  ☆16Feb 12, 2014Updated 12 years ago
• ribasushi / rfbproxy

  View on GitHub
  ☆11Jan 5, 2022Updated 4 years ago