Alternatives and similar repositories for security-courses

Users that are interested in security-courses are comparing it to the libraries listed below

• CompSciCabal / reading-material
  Reading schedule and our library of pdfs
  ☆24Updated 6 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆27Updated 3 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated last week
• benediktahrens / CT4P
  ☆35Updated last week
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• StarGazerM / ppa-in-code
  some my implementation of content in PPA
  ☆18Updated 4 years ago
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆55Updated 5 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆68Updated 3 weeks ago
• kmicinski / cmsc330examples
  Examples from the class CMSC 330 during Summer 2015
  ☆49Updated 10 years ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆69Updated 7 years ago
• wilbowma / llm-lang
  An LLM-first programming language.
  ☆32Updated last week
• takikawa / wasm-redex
  WebAssembly model in Redex
  ☆16Updated 6 years ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 4 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆115Updated 7 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 11 months ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆74Updated 5 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• uw-unsat / serval-tutorial-sosp19
  ☆14Updated 5 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆28Updated 7 years ago
• namin / reflection-schemes
  exploration of reflective architectures in Scheme
  ☆20Updated 3 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆66Updated 3 months ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆57Updated 7 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆89Updated 3 months ago
• brownplt / lambda-py
  ☆59Updated 11 years ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆136Updated 4 months ago
• mit-frap / spring18
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018
  ☆23Updated 7 years ago