Skip to content
View intoverflow's full-sized avatar
103 followers · 140 following

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Starstruck
BetaSend feedback

Highlights

  • Pro

Organizations

@InvLim @cyber-itl @risc0 @appliedfm @CertiGraph
Block or Report

Block or report intoverflow

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. appliedfm/coq-vsu appliedfm/coq-vsu Public

    Tools for working with Verified Software Units

    OCaml 1

  2. InterpoliqueQQ InterpoliqueQQ Public

    Dan Kaminsky's Interpolique as a Haskell quasi-quoter

    Haskell 3 1

  3. appliedfm/vstyle-tools appliedfm/vstyle-tools Public

    A formatter/linter for Coq source

    OCaml 14

  4. ambertide/datalite ambertide/datalite Public

    A simple Python library to bind dataclasses with databases.

    Python 16 7

  5. appliedfm/growth-data appliedfm/growth-data Public

    Measuring the growth of open source formal methods

    Python 4

  6. CertiGraph/CertiGraph CertiGraph/CertiGraph Public

    A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

    Coq 16 5