Alternatives and similar repositories for COSE312-2023spring

Users that are interested in COSE312-2023spring are comparing it to the libraries listed below

• chanyou / blob_sign_generator

  View on GitHub
  A simple blob sign generator
  ☆15May 12, 2022Updated 3 years ago
• ku-plrg-classroom / docs

  View on GitHub
  Documents for Programming Assignments
  ☆17Dec 8, 2025Updated 2 months ago
• hyp3rflow / jsconf-kr-2022-deno

  View on GitHub
  ☆15Sep 18, 2022Updated 3 years ago
• OxideEngine / Oxide

  View on GitHub
  A cross-platform game engine written in Rust
  ☆32Sep 4, 2023Updated 2 years ago
• ONground-Korea / 2023-AIKU_DeepLearning-Bootcamp

  View on GitHub
  2023-1 고려대학교 AIKU 딥러닝 방학 부트캠프: Deep into Deep
  ☆10Jul 10, 2023Updated 2 years ago
• deno-kr / deno-kr

  View on GitHub
  Deno Korea Community Website
  ☆10Aug 25, 2022Updated 3 years ago
• hyp3rflow / github-readme-solvedac

  View on GitHub
  백준, solved.ac 통계로 github stats card를 만들어주는 서비스
  ☆72Oct 26, 2021Updated 4 years ago
• utilForever / minesweeper-rs

  View on GitHub
  A simple minesweeper game using Rust and windows-rs
  ☆15Aug 22, 2021Updated 4 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆18Updated this week
• kaist-plrg / jest

  View on GitHub
  JEST: N+1-version Differential Testing of Both JavaScript Engines
  ☆14Jun 1, 2021Updated 4 years ago
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 3 months ago
• utilForever / rust-wasm-game-of-life

  View on GitHub
  A simple Rust and WebAssembly example implementing the Game of Life
  ☆15Aug 4, 2021Updated 4 years ago
• kupl / PyTER

  View on GitHub
  ☆15Sep 17, 2025Updated 4 months ago
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆29Oct 24, 2025Updated 3 months ago
• lifthrasiir / wah

  View on GitHub
  WebAssembly interpreter in a Header (WAH)
  ☆31Oct 6, 2025Updated 4 months ago
• estools / esfuzz

  View on GitHub
  fuzzer for generative testing of ECMAScript parsers
  ☆59Jul 3, 2014Updated 11 years ago
• ENvironmentSet / lambda2wasm

  View on GitHub
  A Lambda expression compiler targeting web assembly.
  ☆20Aug 7, 2024Updated last year
• es-meta / esmeta

  View on GitHub
  ECMAScript Specification (ECMA-262) Metalanguage
  ☆240Updated this week
• Honoka55 / noroshi

  View on GitHub
  A CJK-friendly mono spaced font derived from the IBM Plex typeface.
  ☆19Jan 27, 2024Updated 2 years ago
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• mlvlab / SCDM

  View on GitHub
  Official PyTorch implementation of "Stochastic Conditional Diffusion Models for Robust Semantic Image Synthesis" (ICML 2024).
  ☆19Nov 20, 2024Updated last year
• kaist-plrg-cs320 / assignment-docs

  View on GitHub
  ☆23Aug 21, 2024Updated last year
• julianthome / smtlibv2-grammar

  View on GitHub
  ANTLR SMT-LIB v2 Grammar
  ☆24Dec 23, 2021Updated 4 years ago
• hongseok-yang / logic21

  View on GitHub
  ☆23Jun 18, 2021Updated 4 years ago
• ENvironmentSet / hyogwa

  View on GitHub
  Natural 🌿 effect system that fits TypeScript
  ☆61Aug 22, 2024Updated last year
• utilForever / 2022-Korea-Rust-Backend

  View on GitHub
  2022년 고려대학교 Google Developer Student Clubs 스터디 - Rust 기초 프로그래밍 + Backend 개발
  ☆155Sep 27, 2023Updated 2 years ago
• daangn / stackgraph

  View on GitHub
  변수 의존성 관계도와 메타데이터를 정적 분석 및 시각화
  ☆26Mar 2, 2024Updated last year
• sola-st / wasm-r3

  View on GitHub
  Record and Replay for WebAssembly
  ☆35Feb 3, 2026Updated last week
• jbl428 / functional-programming

  View on GitHub
  TypeScript 와 fp-ts 를 활용한 함수형 프로그래밍 소개
  ☆31Aug 27, 2025Updated 5 months ago
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆63Updated this week
• secure-software-engineering / TypeEvalPy

  View on GitHub
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Nov 13, 2025Updated 3 months ago
• simnalamburt / snippets

  View on GitHub
  My code snippets
  ☆38Sep 30, 2025Updated 4 months ago
• rust-kr / browser-engineering

  View on GitHub
  Web Browser Engineering
  ☆42Jun 29, 2022Updated 3 years ago
• wala / jsdelta

  View on GitHub
  A delta debugger for JavaScript
  ☆54May 17, 2022Updated 3 years ago
• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• mstksg / typelits-witnesses

  View on GitHub
  Existential witnesses, singletons, and classes for operations on GHC TypeLits
  ☆16Jul 25, 2024Updated last year
• dbp / howtoproveacompiler

  View on GitHub
  Writeup that goes along with this:
  ☆41Jan 18, 2018Updated 8 years ago
• mumu12641 / strawberry

  View on GitHub
  🍓 A toy object-oriented programming language written by rust
  ☆17Apr 10, 2024Updated last year