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
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆28Updated 7 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 9 months ago
• uchicago-cs / plrg
  PL Reading Group Website
  ☆14Updated 9 months ago
• namin / reflection-schemes
  exploration of reflective architectures in Scheme
  ☆20Updated 3 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 8 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆66Updated 6 years ago
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆27Updated 3 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆66Updated last month
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆134Updated 2 months ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 7 years ago
• takikawa / wasm-redex
  WebAssembly model in Redex
  ☆16Updated 6 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated last year
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆114Updated last year
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆54Updated 5 years 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
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 4 years ago
• jaseemabid / inc
  An incremental approach to compiler construction
  ☆84Updated 5 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆27Updated 4 years ago
• hlopko / architecture_of_symbolic_computers_notes
  My notes from reading this amazing book by Peter M. Kogge.
  ☆23Updated 11 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago
• uw-unsat / serval-tutorial-sosp19
  ☆14Updated 5 years ago
• wilbowma / llm-lang
  An LLM-first programming language.
  ☆31Updated 7 months ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 9 months ago