Alternatives and similar repositories for Spring-2021-Notes:

Users that are interested in Spring-2021-Notes are comparing it to the libraries listed below

• acmutd / help-guide
  A starter-guide for all things at UT Dallas
  ☆26Updated 4 years ago
• hwd404 / FOLD-R-PP
  The implementation of FOLD-R++ algorithm
  ☆16Updated last year
• timot3 / uiuc-classes-bot
  Discord bot to fetch UIUC classes.
  ☆18Updated last year
• alpha-convert / delta
  Implementation of the Delta Language
  ☆8Updated last year
• LeifAndersen / PLGradSchools
  ☆231Updated 8 months ago
• USMC1941 / CS111-Rutgers
  CS 111 Introduction to Computer Science at Rutgers University
  ☆23Updated 3 years ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆20Updated this week
• ccz181078 / Coq-BB5
  ☆210Updated 3 weeks ago
• jzarnett / ece252
  ECE 252: Systems Programming and Concurrency
  ☆227Updated last year
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated last year
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆60Updated last month
• braxtonhall / fib
  the fibonacci only you would give me
  ☆14Updated last year
• INRIA / velus
  A Lustre compiler in Coq
  ☆68Updated 3 weeks ago
• tchajed / coq-record-update
  Library to create Coq record update functions
  ☆45Updated last month
• jwshii / etna
  ☆10Updated last month
• hann013 / uw-ece-notes
  University of Waterloo ECE Course Notes
  ☆74Updated 5 years ago
• proofengineering / proofengineering-bib
  BibTeX bibliographies for proof engineering-related papers
  ☆30Updated 5 years ago
• slasser / CoStar
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆13Updated 2 years ago
• katamaran-project / katamaran
  Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…
  ☆18Updated this week
• jashug / IWTypes
  A Coq development of the theory of Indexed W types with function extensionality.
  ☆11Updated 7 years ago
• uds-psl / autosubst2
  Official repository of the Autosubst 2 project.
  ☆20Updated last year
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆28Updated last week
• Areustle / CMSC351SP2016FLN
  University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package
  ☆75Updated 7 years ago
• verse-lab / splean
  Separation Logic Proofs in Lean
  ☆36Updated last month
• uwplse / StructTact
  Coq utility and tactic library.
  ☆24Updated last year
• harp-project / AML-Formalization
  ☆10Updated last week
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• Beluga-lang / McTT
  A bottom-up approach to a verified implementation of MLTT
  ☆18Updated 2 months ago
• olaure01 / yalla
  Yet Another deep embedding of Linear Logic in Coq
  ☆14Updated 2 weeks ago