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

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

Close

snu-sf-class / pl201602View on GitHubMore

• External links
• Readme badge

SNU 2016 Fall 4190.310 Programming Language

☆22Dec 13, 2016Updated 9 years ago

Alternatives and similar repositories for pl201602

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

• inc-lc / ilc-agda

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

  View on GitHub
  A software framework for global sparse analyzers and their verified validators
  ☆22Oct 25, 2017Updated 8 years ago
• hifive / hifive-pitalium-explorer

  View on GitHub
  Image difference viewer for Pitalium
  ☆12Dec 20, 2017Updated 8 years ago
• prosyslab-classroom / hardcore-ocaml

  View on GitHub
  ☆16Apr 15, 2025Updated 10 months ago
• wafflestudio / snutt-webclient

  View on GitHub
  SNUTT web 클라이언트
  ☆14Feb 8, 2023Updated 3 years ago
• ntopia / icpc-teamnote

  View on GitHub
  ☆33Apr 10, 2018Updated 7 years ago
• ghudegy / 2018

  View on GitHub
  구데기컵 @ Baekjoon Online Judge
  ☆35Mar 13, 2023Updated 2 years ago
• wafflestudio / snutt-nodejs

  View on GitHub
  SNU Timetable (deprecated)
  ☆39Jan 24, 2025Updated last year
• snucse / snucse

  View on GitHub
  스누씨 3.0 프론트엔드
  ☆45Mar 11, 2023Updated 2 years ago
• snu-sf-class / pl2015spring

  View on GitHub
  SNU 4190.310, 2015 Spring
  ☆11Jun 25, 2015Updated 10 years ago
• integraldx / HowToSNUCSE

  View on GitHub
  고인물들은 무엇을 아는가
  ☆145Feb 3, 2020Updated 6 years ago
• inc-lc / ilc-scala

  View on GitHub
  Scala implementation of ILC, with benchmarks
  ☆27Jul 5, 2016Updated 9 years ago
• femiwiki / docker-mediawiki

  View on GitHub
  Dockerized Femiwiki's mediawiki server
  ☆33Mar 1, 2026Updated last week
• snu-sf / promising-coq

  View on GitHub
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆43Oct 15, 2024Updated last year
• plum-umd / cgc

  View on GitHub
  Constructive Galois connections
  ☆36Mar 26, 2018Updated 7 years ago
• lego0901 / Woosung-Vim-LaTeX

  View on GitHub
  Vim에서 LaTeX 사용하기위한 미니멀한 세팅
  ☆10Jun 19, 2020Updated 5 years ago
• nivlab / NivLink

  View on GitHub
  Niv Lab tools for preprocessing eye-tracking data.
  ☆11Oct 15, 2019Updated 6 years ago
• raaz-crypto / verse-coq

  View on GitHub
  VERified asSembler for cryptographic primitives
  ☆12Jul 15, 2023Updated 2 years ago
• tripplyons / prooftrade

  View on GitHub
  A low-cost orderbook-based decentralized exchange for Ethereum
  ☆12Jun 14, 2022Updated 3 years ago
• nmvdw / groupoids

  View on GitHub
  Groupoids vs 1-Types
  ☆11Nov 8, 2018Updated 7 years ago
• fedora-infra / fedora-tagger

  View on GitHub
  Small tagger app for Fedora Community
  ☆15Oct 29, 2018Updated 7 years ago
• andrejbauer / clerical

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

  View on GitHub
  Kubernetes, Emacs, done!
  ☆10Feb 13, 2026Updated 3 weeks ago
• orca-lang / orca

  View on GitHub
  Type theory + whales and syntax
  ☆11Nov 28, 2019Updated 6 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• ohbm / hackathon2018

  View on GitHub
  Website for the 2018 OHBM hackathon
  ☆11Nov 28, 2022Updated 3 years ago
• LDFranck / SHA-256

  View on GitHub
  Custom ASIC Design for SHA-256
  ☆14Nov 22, 2025Updated 3 months ago
• justjoheinz / idris-httpclient

  View on GitHub
  A http client for Idris based on libcurl
  ☆10Mar 18, 2016Updated 9 years ago
• Neurita / neuro_docker

  View on GitHub
  A Dockerfile to create a Ubuntu docker for neuroimaging
  ☆10Nov 11, 2018Updated 7 years ago
• programble / effuse

  View on GitHub
  Over-engineered tool for symlinking dotfiles
  ☆37Nov 13, 2013Updated 12 years ago
• dj-shin / army-client

  View on GitHub
  ☆10Jan 6, 2021Updated 5 years ago
• meh / rust-lzma

  View on GitHub
  LZMA handling library.
  ☆11May 2, 2017Updated 8 years ago
• misson20000 / ilia

  View on GitHub
  IPC Logger for the Switch
  ☆15Aug 7, 2019Updated 6 years ago
• jbapple / 128-bit-literals

  View on GitHub
  Library for literal 128-bit integers in C++
  ☆11Nov 18, 2025Updated 3 months ago
• ChiefMikeK / ttf-symbola

  View on GitHub
  A Font with extensive coverage of Unicode13 as of March 2020 (part of Unicode Fonts for Ancient Scripts)
  ☆15Mar 26, 2020Updated 5 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• 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
• aieater / python_glview

  View on GitHub
  ☆12Jun 21, 2023Updated 2 years ago
• alice-finance / money-market

  View on GitHub
  Decentralized Money Market
  ☆10Jan 4, 2023Updated 3 years ago