Skip to content
@snu-sf-class

snu-sf-class

Popular repositories Loading

  1. swpp201901 swpp201901 Public

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

    JavaScript 27 8

  2. pp202402 pp202402 Public

    Programming Principles, SNU 4190.210, 2024 Fall

    25

  3. pl201602 pl201602 Public

    SNU 2016 Fall 4190.310 Programming Language

    HTML 22 10

  4. pp202302 pp202302 Public

    Programming Principles, SNU 4190.210, 2023 Fall

    Scala 22 7

  5. pp202002 pp202002 Public

    18 1

  6. pp202202 pp202202 Public

    Coq 17

Repositories

Showing 10 of 25 repositories
  • pp202402 Public

    Programming Principles, SNU 4190.210, 2024 Fall

    snu-sf-class/pp202402’s past year of commit activity
    25 0 9 0 Updated Dec 20, 2024
  • sf202401 Public

    소프트웨어 엄밀 검증

    snu-sf-class/sf202401’s past year of commit activity
    Coq 9 0 1 0 Updated Jul 3, 2024
  • swpp202401-interpreter Public

    Swpp Assembly Interpreter rewritten in Rust

    snu-sf-class/swpp202401-interpreter’s past year of commit activity
    Rust 1 1 0 0 Updated Jun 13, 2024
  • swpp202401-compiler Public template

    Base compiler for SWPP project

    snu-sf-class/swpp202401-compiler’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated Jun 10, 2024
  • swpp202401 Public

    Principles and Practices of Software Development Main Repository

    snu-sf-class/swpp202401’s past year of commit activity
    C++ 14 4 145 0 Updated Jun 10, 2024
  • swpp202401-benchmarks Public

    Example programs for swpp202401 team project

    snu-sf-class/swpp202401-benchmarks’s past year of commit activity
    LLVM 1 1 0 0 Updated May 14, 2024
  • pp202302 Public

    Programming Principles, SNU 4190.210, 2023 Fall

    snu-sf-class/pp202302’s past year of commit activity
    Scala 22 7 66 0 Updated Dec 6, 2023
  • sf202301 Public

    컴퓨터 신기술 특강

    snu-sf-class/sf202301’s past year of commit activity
    Coq 11 0 0 0 Updated Jun 23, 2023
  • swpp202201-alive2 Public Forked from AliveToolkit/alive2

    Automatic verification of LLVM optimizations with SWPP intrinsics support

    snu-sf-class/swpp202201-alive2’s past year of commit activity
    C++ 1 MIT 111 0 0 Updated Apr 16, 2023
  • swpp202401-assn1 Public
    snu-sf-class/swpp202401-assn1’s past year of commit activity
    C++ 0 6 0 0 Updated Mar 13, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…