jappavoo / UndertheCovers

Related projects: ⓘ

• umd-cmsc330 / cmsc330spring22
  ☆27Updated 2 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆24Updated 2 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆12Updated 2 years ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated last month
• harmonylang / harmony
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆14Updated last month
• tpchina / tpchina.github.io
  ☆15Updated last year
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆32Updated 2 years ago
• MisakaCenter / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• MarisaKirisame / MemoryBalancer
  ☆22Updated last year
• sattlerc / hott-reading-course
  Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …
  ☆13Updated 5 months ago
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆37Updated 3 years ago
• coq-community / hoare-tut
  A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]
  ☆19Updated 2 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last week
• komamitsu / oraft
  Library of Raft consensus algorithm implemented in OCaml
  ☆29Updated last year
• tlaplus / tlapm
  The TLA Proof Manager
  ☆62Updated this week
• fredfeng / CS162
  Programming languages
  ☆26Updated 6 months ago
• tchajed / coq-tla
  ☆20Updated 6 months ago
• coq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆21Updated last year
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆38Updated last year
• lsrcz / mini-prover
  Term project for TaPL. A mini coq-like proof assistant.
  ☆16Updated 6 years ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 7 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• CIS1900 / 2022-fall
  ☆10Updated 2 weeks ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆37Updated this week
• coq / ceps
  Coq Enhancement Proposals
  ☆43Updated last week
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆26Updated last year
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆70Updated last year
• hgzhehe / iub_2009_P523_framework
  This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…
  ☆11Updated 3 years ago
• ybertot / plugin_tutorials
  A collection of small projects to illustrate how to write plugins for Coq
  ☆21Updated 5 years ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆28Updated 8 months ago