hongseok-yang / graduatePL23Links
β19Updated 2 years ago
Alternatives and similar repositories for graduatePL23
Users that are interested in graduatePL23 are comparing it to the libraries listed below
Sorting:
- β15Updated 2 years ago
- π (WIP) Rewriting Software Foundations in Lean 4β19Updated 3 weeks ago
- Tutorial for refinement based verificationβ14Updated last year
- β10Updated 2 years ago
- β48Updated 3 months ago
- μ»΄ν¨ν° μ κΈ°μ νΉκ°β10Updated 2 years ago
- β React-tRace is a React hooks reference interpreter based on a formal semanticsβ33Updated last month
- β12Updated last year
- β55Updated this week
- π A Rocq library written by members of PnV Discord Serverβ15Updated this week
- β14Updated last year
- π (WIP) Formal proofs of "An Infinitely Large Napkin"β17Updated last month
- β62Updated 2 months ago
- β22Updated 4 years ago
- β43Updated last year
- One-for-all python script for running LLVM experimentβ11Updated 3 years ago
- β15Updated 7 months ago
- β11Updated 11 months ago
- PL conference deadline countdownsβ63Updated 2 months ago
- β59Updated 2 months ago
- β14Updated 2 years ago
- β29Updated last year
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)β56Updated 9 months ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!β173Updated 5 months ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification β¦β46Updated 10 months ago
- A simple package to format Backus-Naur formβ13Updated last year
- β21Updated 7 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.β121Updated this week
- β14Updated last week
- A Library for Representing Recursive and Impure Programs in Coqβ236Updated last month