Catalin Hritcu's starred repositories
languagetool
Style and Grammar Checker for 25+ Languages
cwa-app-android
Native Android app using the Apple/Google exposure notification API. The CWA development ends on May 31, 2023. You still can warn other users until April 30, 2023. More information:
electionguard
ElectionGuard is a set of open source software components that can be used to create and publish end to end verifiable elections as well create a publishable artifact for ballot comparison audits.
nanopass-framework
The new nanopass framework; an embedded DSL for writing compilers in Scheme
flycheck-grammarly
Grammarly support for Flycheck
WasmCert-Coq
A mechanisation of Wasm in Coq
squirrel-prover
The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
IMO-grand-challenge.github.io
IMO Grand Challenge for Artificial Intelligence
clowdr-web-app
Old Clowdr versions 1 & 2 from 2020
dada-model
Why can't a tree be called Pluplusch?
memory-safe-language
A formalization of properties of a simple imperative, memory-safe language.
SmallStepNI
Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
SecurePtrs
Coq formalization for "SecurePtrs" paper
DynamicIFCTheoremsForFree
Using parametricity to prove noninterference for LIO and Faceted Values