Alternatives and similar repositories for Software-Foundations-Solutions

Users that are interested in Software-Foundations-Solutions are comparing it to the libraries listed below

• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• marshall-lee / software_foundations
  My solutions to Software Foundations course in Coq proof assistant.
  ☆36Updated 11 months ago
• atungare / coq-software-foundations
  ☆19Updated 8 years ago
• ZhenbangYou / Computer-Systems-Learning-Resources-A-Recommended-List
  ☆59Updated last year
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆139Updated 11 months ago
• secure-foundations / human-eval-verus
  ☆17Updated 2 months ago
• xmcp / HEED-GUI
  在选课季有一些作用的小玩意
  ☆63Updated 3 years ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆28Updated 3 weeks ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆28Updated 5 months ago
• thwfhk / PKU-Beamer-Theme
  基于Metropolis修改的北大风格Beamer主题
  ☆26Updated 3 years ago
• zhuozhiyongde / pku-grade-watcher
  Wishing you could have a 🌈
  ☆10Updated 4 months ago
• PKU-OS / pintos
  The pintos source distribution for PKU Operating System Course projects
  ☆49Updated 3 months ago
• KirisameMagicShop / kirisamemagicshop.github.io
  ☆10Updated last week
• SurviveUMJI / ji-grade-analysis
  Analysis of anonymous grades retrieved by all JI students, among the courses with the same course id in different sections and academic y…
  ☆60Updated last year
• BoYanZh / BoYanZh.github.io
  ☆15Updated this week
• joydddd / VP160-2020-SU-NOTES
  Joy Dong's recitation class notes for VP160 Honors Physics, 2020 Summer.
  ☆8Updated 4 years ago
• PKU-OS / Tacos
  Write your own operating system with Rust!
  ☆20Updated last month
• oscardhc / Forum
  iOS Frontend of SJTU Anonymous Forum Wukefenggao
  ☆19Updated 4 years ago
• timingsniper / PKU_ICS2021_Labs
  ICS (Introduction to Computer Systems, aka CSAPP) course lab codes@PKU 2021-1st sem
  ☆9Updated 3 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆26Updated 3 years ago
• microsoft / verus-proof-synthesis
  ☆34Updated last week
• NotformeCC / mathininformatics
  ☆23Updated 5 years ago
• VariantConst / Marchkov-Helper
  新燕园人的私人班车助手（非官方）。
  ☆56Updated 3 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆209Updated 2 months ago
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆32Updated 10 months ago
• BoYanZh / Joint-Teapot
  A handy and powerful tool for TAs in JI to handle works through Gitea, Canvas, and JOJ.
  ☆21Updated last week
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 4 months ago
• Mzhhh / PKUElective2021Spring
  PKUAutoElective for 2021 spring semester
  ☆100Updated 3 years ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆60Updated 2 months ago