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
  ☆29Oct 24, 2025Updated 3 months ago
• prosyslab / pl-wiki

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

  View on GitHub
  ☆19Nov 5, 2023Updated 2 years ago
• inc-lc / ilc-agda

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

  View on GitHub
  Personal blog of ENvironmentSet based on oversomething.
  ☆14Oct 29, 2024Updated last year
• Zeta611 / polycalc

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• atennapel / ts-typelevel-computation

  View on GitHub
  ☆13Nov 9, 2018Updated 7 years ago
• dongjaelee1 / refinement-tutorial

  View on GitHub
  Tutorial for refinement based verification
  ☆15Jan 16, 2026Updated last month
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated last year
• ENvironmentSet / ts-transfromer-typerep

  View on GitHub
  Bring type level information to value level.
  ☆19Aug 7, 2024Updated last year
• TiarkRompf / minidot

  View on GitHub
  Dependent Object Types (DOT), bottom up
  ☆89Jan 9, 2022Updated 4 years ago
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• jaehyun1ee / standalone-ddl

  View on GitHub
  2019 딥러닝-비전처리 홀로서기 특강에 사용된 Lecture Note 및 Code Repository입니다.
  ☆12Sep 7, 2019Updated 6 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 4 months ago
• Zeta611 / easyword

  View on GitHub
  🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)
  ☆36Feb 9, 2026Updated last week
• 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
• KxSystems / kx-vscode

  View on GitHub
  kdb Visual Studio Code extension
  ☆22Updated this week
• helpingstar / pika-zoo

  View on GitHub
  🕹 Pikachu-volleyball game-based multi-agent RL environment using PettingZoo
  ☆11Sep 29, 2024Updated last year
• jaehyeongAN / KoELECTRA-finetuned-sentiment-analysis

  View on GitHub
  Generalized Sentiment Classifier finetuned by KoELECTRA
  ☆11Nov 28, 2024Updated last year
• Zeta611 / snu-ece-bsc-thesis

  View on GitHub
  서울대학교 전기정보공학부 학사학위논문 양식 LaTeX 클래스
  ☆40Nov 3, 2025Updated 3 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
• utilForever / 2025-KPSC-AIM-Chess-AI

  View on GitHub
  2025년 국민대학교 KPSC + AIM 스터디 - 강화학습을 이용한 체스 AI 만들기
  ☆13Jun 22, 2025Updated 7 months ago
• EugeneLoy / coq_jupyter

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

  View on GitHub
  Happy Campus Life
  ☆259Aug 26, 2021Updated 4 years ago
• spotinst / ocean-operator

  View on GitHub
  [DEPRECATED] Ocean Operator for Kubernetes.
  ☆11May 4, 2022Updated 3 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
• fcoury / electron-anne-pro

  View on GitHub
  Electron based Anne Pro Keyboard configurator
  ☆11Jan 9, 2018Updated 8 years ago
• jlwhelan28 / pac-hunter

  View on GitHub
  Lookup donation history of a Political Action Committee to specific US federal election candidates using data sourced directly from the F…
  ☆14Nov 14, 2022Updated 3 years ago
• vtky / msecdbg

  View on GitHub
  !exploitable Crash Analyzer - MSEC Debugger Extensions
  ☆11Feb 16, 2021Updated 5 years ago
• Jinmo / IDA8-Alleycat

  View on GitHub
  Alleycat plugin by devttys0, ported to IDA 8
  ☆11Jan 15, 2025Updated last year
• rzach / what-if

  View on GitHub
  Textbook on non-classical logics
  ☆13Jun 25, 2025Updated 7 months ago
• usds / apis.gov

  View on GitHub
  Discover federal APIs
  ☆10Apr 12, 2023Updated 2 years ago
• SharathHebbar / ML-Project-list

  View on GitHub
  List of all ML projects
  ☆11Aug 20, 2024Updated last year
• tomtomjhj / vsrocq.nvim

  View on GitHub
  A Neovim client for VsCoq 2 vscoqtop.
  ☆11Nov 8, 2025Updated 3 months 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.
  ☆11Oct 23, 2025Updated 3 months ago
• alerad / leancert

  View on GitHub
  Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
  ☆32Feb 9, 2026Updated last week
• rtgiskard / bibata_cursor

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