Alternatives and similar repositories for pl201602

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

• snucse / snucse-api

  View on GitHub
  스누씨 3.0 backend
  ☆17Apr 1, 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
• ropas / zooberry

  View on GitHub
  A software framework for global sparse analyzers and their verified validators
  ☆22Oct 25, 2017Updated 8 years ago
• prosyslab-classroom / hardcore-ocaml

  View on GitHub
  ☆16Apr 15, 2025Updated 9 months ago
• hifive / hifive-pitalium-explorer

  View on GitHub
  Image difference viewer for Pitalium
  ☆12Dec 20, 2017Updated 8 years 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
• wookayin / latex-boilerplate

  View on GitHub
  📝 A personal collection of templates for Markdown+LaTeX-based writing.
  ☆16Oct 11, 2018Updated 7 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
• snu-sf / promising-coq

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

  View on GitHub
  A programmable open source blockchain engine
  ☆37Jan 20, 2023Updated 3 years ago
• plum-umd / cgc

  View on GitHub
  Constructive Galois connections
  ☆36Mar 26, 2018Updated 7 years ago
• tripplyons / prooftrade

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

  View on GitHub
  Small tagger app for Fedora Community
  ☆15Oct 29, 2018Updated 7 years ago
• jedisct1 / siphash-php

  View on GitHub
  SipHash function for PHP
  ☆16Feb 2, 2021Updated 5 years ago
• dschepler / coq-topology

  View on GitHub
  Topology library for Coq
  ☆12Dec 24, 2015Updated 10 years ago
• LOKisGithub / LokisAsicTester

  View on GitHub
  ☆17Sep 10, 2022Updated 3 years ago
• lego0901 / Woosung-Vim-LaTeX

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

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

  View on GitHub
  Groupoids vs 1-Types
  ☆11Nov 8, 2018Updated 7 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
• mxswd / editable

  View on GitHub
  Derive editors for data types.
  ☆28Oct 5, 2014Updated 11 years ago
• lifthrasiir / rust-strconv

  View on GitHub
  Experimenting with number-to-string and string-to-number conversions in Rust
  ☆14May 23, 2015Updated 10 years ago
• tomtomjhj / vsrocq.nvim

  View on GitHub
  A Neovim client for VsCoq 2 vscoqtop.
  ☆11Nov 8, 2025Updated 3 months ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• emacsmirror / kubed

  View on GitHub
  Kubernetes, Emacs, done!
  ☆10Dec 14, 2025Updated 2 months ago
• dj-shin / army-client

  View on GitHub
  ☆10Jan 6, 2021Updated 5 years 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
• LDFranck / SHA-256

  View on GitHub
  Custom ASIC Design for SHA-256
  ☆14Nov 22, 2025Updated 2 months 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
• irccloud / irccloud-python-client

  View on GitHub
  IRCCloud Python Client
  ☆11Oct 26, 2015Updated 10 years ago
• aieater / python_glview

  View on GitHub
  ☆12Jun 21, 2023Updated 2 years ago
• simnalamburt / nginx.conf

  View on GitHub
  nginx.conf of my servers
  ☆10Apr 3, 2018Updated 7 years ago
• simnalamburt / realnocode

  View on GitHub
  
  ☆12Feb 4, 2024Updated 2 years ago