snu-sf-class/sf202301 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/sf202301

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/sf202301)

Close

snu-sf-class / sf202301View on GitHubMore

• External links
• Readme badge

컴퓨터 신기술 특강

☆10Jun 23, 2023Updated 2 years ago

Alternatives and similar repositories for sf202301

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

• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆28Oct 24, 2025Updated 4 months ago
• prosyslab / pl-wiki

  View on GitHub
  ☆48Nov 25, 2025Updated 3 months ago
• hongseok-yang / graduatePL23

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

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• inc-lc / ilc-agda

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

  View on GitHub
  ☆12May 30, 2024Updated last year
• Zeta611 / polycalc

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• ENvironmentSet / overcurried

  View on GitHub
  Personal blog of ENvironmentSet based on oversomething.
  ☆14Oct 29, 2024Updated last year
• dongjaelee1 / refinement-tutorial

  View on GitHub
  Tutorial for refinement based verification
  ☆15Jan 16, 2026Updated last month
• Zeta611 / simplebnf.typ

  View on GitHub
  A simple package to format Backus-Naur form
  ☆15Feb 9, 2026Updated last month
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• snu-sf-class / pp202202

  View on GitHub
  ☆17Dec 8, 2022Updated 3 years ago
• ENvironmentSet / ts-transfromer-typerep

  View on GitHub
  Bring type level information to value level.
  ☆19Aug 7, 2024Updated last year
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• SeoulTechPSE / EngMath

  View on GitHub
  공학수학 강의노트
  ☆19Feb 27, 2024Updated 2 years ago
• snu-sf / paco

  View on GitHub
  A Coq library for parametric coinduction
  ☆51Jan 30, 2025Updated last year
• tomtomjhj / coq-lsp.nvim

  View on GitHub
  Neovim client for coq-lsp
  ☆30Sep 26, 2025Updated 5 months ago
• ilya-bystrov / djvu2pdf-docker

  View on GitHub
  A convenient way to convert files from DjVu to PDF format while preserving the text layer
  ☆30Sep 15, 2021Updated 4 years ago
• Zeta611 / easyword

  View on GitHub
  🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)
  ☆40Feb 23, 2026Updated 2 weeks ago
• Lysxia / system-F

  View on GitHub
  Formalization of the polymorphic lambda calculus and its parametricity theorem
  ☆37Mar 17, 2025Updated 11 months ago
• jaehyeongAN / KoELECTRA-finetuned-sentiment-analysis

  View on GitHub
  Generalized Sentiment Classifier finetuned by KoELECTRA
  ☆11Nov 28, 2024Updated last year
• helpingstar / pika-zoo

  View on GitHub
  🕹 Pikachu-volleyball game-based multi-agent RL environment using PettingZoo
  ☆11Sep 29, 2024Updated last year
• vauxgomes / lad

  View on GitHub
  Open source implementation of Logical Analysis of Data (LAD) Algorithm.
  ☆16Oct 6, 2023Updated 2 years ago
• utilForever / 2025-KPSC-AIM-Chess-AI

  View on GitHub
  2025년 국민대학교 KPSC + AIM 스터디 - 강화학습을 이용한 체스 AI 만들기
  ☆13Jun 22, 2025Updated 8 months ago
• Iangao25 / comparison-between-GARCH-type-models

  View on GitHub
  The project is advised by Professor Robert Engle in his FINANCIAL ECONOMETRICS PhD course. I made comparison between the performance of d…
  ☆10Sep 14, 2018Updated 7 years ago
• EugeneLoy / coq_jupyter

  View on GitHub
  Jupyter kernel for Coq
  ☆95Sep 3, 2024Updated last year
• andrejbauer / clerical

  View on GitHub
  Command-like expressions for real infinite-precision calculations
  ☆55Aug 5, 2025Updated 7 months ago
• simnalamburt / snucse

  View on GitHub
  Happy Campus Life
  ☆260Aug 26, 2021Updated 4 years ago
• rguo12 / KDD24-Conformal

  View on GitHub
  Code for Conformal Counterfactual Inference under Hidden Confounding (KDD’24)
  ☆11Aug 30, 2024Updated last year
• rtgiskard / bibata_cursor

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

  View on GitHub
  Get an array of all distinct NaN values supported by the engine. There can be only one!
  ☆12Oct 27, 2022Updated 3 years ago
• seunghan96 / datascience

  View on GitHub
  ☆15Oct 18, 2020Updated 5 years ago
• SharathHebbar / ML-Project-list

  View on GitHub
  List of all ML projects
  ☆11Aug 20, 2024Updated last year
• alerad / leancert

  View on GitHub
  Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
  ☆35Mar 1, 2026Updated last week
• rzach / what-if

  View on GitHub
  Textbook on non-classical logics
  ☆13Jun 25, 2025Updated 8 months ago
• vtky / msecdbg

  View on GitHub
  !exploitable Crash Analyzer - MSEC Debugger Extensions
  ☆11Feb 16, 2021Updated 5 years ago
• labex-labs / practice-python-programming-projects

  View on GitHub
  Build real Python projects with 92 beginner-friendly challenges. Learn by doing with guided coding exercises and practical applications.
  ☆12Oct 23, 2025Updated 4 months ago