flap: A Deterministic Parser with Fused Lexing Project: TypeFoundry Updated at: 27-04-2024 Show more information Project acronym TypeFoundry
CN: Verifying Systems C Code with Separation-Logic Refinement Types Project: TypeFoundry Updated at: 27-04-2024 Show more information Project acronym TypeFoundry