Repositories list

• pp202402

  Public
  Programming Principles, SNU 4190.210, 2024 Fall

  0•25•8•0•Updated Dec 20, 2024Dec 20, 2024

• sf202401

  Public
  소프트웨어 엄밀 검증

  Coq

  •0•9•1•0•Updated Jul 3, 2024Jul 3, 2024

• swpp202401-interpreter

  Public
  Swpp Assembly Interpreter rewritten in Rust

  Rust

  •1•1•0•0•Updated Jun 13, 2024Jun 13, 2024

• swpp202401-compiler

  Public template
  Base compiler for SWPP project

  C++

  •

  MIT License

  •0•0•0•0•Updated Jun 10, 2024Jun 10, 2024

• swpp202401

  Public
  Principles and Practices of Software Development Main Repository

  C++

  •4•14•145•0•Updated Jun 10, 2024Jun 10, 2024

• swpp202401-benchmarks

  Public
  Example programs for swpp202401 team project

  LLVM

  •1•1•0•0•Updated May 14, 2024May 14, 2024

• pp202302

  Public
  Programming Principles, SNU 4190.210, 2023 Fall

  Scala

  •7•22•66•0•Updated Dec 6, 2023Dec 6, 2023

• sf202301

  Public
  컴퓨터 신기술 특강

  Coq

  •0•11•0•0•Updated Jun 23, 2023Jun 23, 2023

• swpp202201-alive2

  Public
  Automatic verification of LLVM optimizations with SWPP intrinsics support

  C++

  •

  MIT License

  •108•1•0•0•Updated Apr 16, 2023Apr 16, 2023

• swpp202401-assn1

  Public
  C++

  •6•0•0•0•Updated Mar 13, 2023Mar 13, 2023

• pp202202

  Public
  Coq

  •0•17•40•0•Updated Dec 8, 2022Dec 8, 2022

• sf202002

  Public
  컴퓨터 신기술 특강

  Coq

  •1•8•0•0•Updated Dec 22, 2020Dec 22, 2020

• swpp201901

  Public
  소프트웨어 개발의 원리와 실습

  JavaScript

  •8•27•46•0•Updated Dec 21, 2020Dec 21, 2020

• pp202002

  Public
  1•18•67•0•Updated Dec 3, 2020Dec 3, 2020

• swpp202001-compiler

  Public
  A team project skeleton for SWPP202001

  C++

  •2•1•0•0•Updated May 25, 2020May 25, 2020

• sf201902

  Public
  고급프로그래밍언어 (Advanced Programming Language) 2019 Fall

  Coq

  •3•7•0•0•Updated Dec 12, 2019Dec 12, 2019

• pp201902

  Public
  Principles of Programming (프로그래밍의 원리)

  0•4•43•0•Updated Nov 28, 2019Nov 28, 2019

• swpp201801

  Public
  소프트웨어 개발의 원리와 실제

  1•0•0•0•Updated Mar 15, 2019Mar 15, 2019

• pp201802

  Public
  Principles of Programming (프로그래밍의 원리)

  0•0•0•0•Updated Mar 15, 2019Mar 15, 2019

• pp201701

  Public
  Principles of Programming (프로그래밍의 원리)

  0•0•0•0•Updated Mar 15, 2019Mar 15, 2019

• sf201802

  Public
  컴퓨터 신기술 특강

  HTML

  •5•13•7•0•Updated Dec 22, 2018Dec 22, 2018

• pl201602

  Public
  SNU 2016 Fall 4190.310 Programming Language

  HTML

  •10•22•31•0•Updated Dec 13, 2016Dec 13, 2016

• pl2016

  Public
  HTML

  •17•14•31•0•Updated Jun 13, 2016Jun 13, 2016

• PP2015f_TA

  Public
  Base page for PP's TA page

  Racket

  •11•14•148•0•Updated Dec 26, 2015Dec 26, 2015

• pl2015spring

  Public
  SNU 4190.310, 2015 Spring

  HTML

  •6•11•49•0•Updated Jun 25, 2015Jun 25, 2015