Alternatives and similar repositories for csci3155_notebooks

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

• upenn-cis198 / lecture1
  High level overview of Rust
  ☆18Updated 3 years ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆98Updated 6 months ago
• nayak16 / Custom-OS-Kernel
  Kernel created for 15-410 Operating Systems class at Carnegie Mellon
  ☆14Updated 9 years ago
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆52Updated 3 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆15Updated 4 years ago
• bhumbers / optcomp
  CMU 15-745 Spring 2014
  ☆10Updated 11 years ago
• microsoft / verus-proof-synthesis
  ☆37Updated this week
• zhengguan / 15150-1
  ☆28Updated 7 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆95Updated last year
• namasikanam / raft-spin
  A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University
  ☆16Updated 4 years ago
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆11Updated 4 years ago
• clarksmr / sf-lectures
  Software Foundations
  ☆129Updated last year
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 3 months ago
• kisslune / POCR
  ☆14Updated last year
• johannst / notes
  Personal notes & cheatsheets.
  ☆21Updated this week
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆64Updated last month
• stanford-cs242 / f19-assignments
  ☆31Updated 5 years ago
• danwallach / github-classroom-utils
  Python tools for instructors working with GitHub Classroom
  ☆89Updated 2 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆42Updated 6 months ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• mwillsey / cs265
  Website for CS 265
  ☆29Updated 6 months ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated this week
• NetSys / cs168_proj_routing_student
  CS168 Project 1: Routing
  ☆13Updated 5 years ago
• fredfeng / CS190I
  Program Synthesis
  ☆15Updated 4 years ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆29Updated 6 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 2 months ago
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆46Updated 8 months ago
• cis547 / cis547vm
  ☆20Updated 4 months ago