vzaliva

simpleproxy

Simple TCP proxy

helix

Formally verified operator language and rewriting engine for high-performance computing

coq-switch

`switch` plugin for Coq

dashcam-browse

Vsysto Motorcycle Dashcam Web Browser

scripts_and_configs

Personal scripts and config files

cmu-ece-thesis-template

CMU ECE PhD Thesis LaTeX template

coq-config

Coq project configuration script

coq-log-analysis

Parse Coq log files and plot resolution trees

coq-min-imports

Script to remove unnecessary module imports from Coq sourcess

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

armasmparser

ARM assembly language parser

bits

A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]

cc_cl_cam_ac_uk

OCaml code for Compiler Construction course at University of Cambridge

cerberus

Cerberus C semantics

cheri-docker-images

company-coq

IDE extensions for Proof General's Coq mode

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

coq-dune-examlpe

exampl of dune project using coq

coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

dynoplot

fah-status

Folding@Home command line status monitor

HaskellNet

Haskell library which provides client support for POP3, SMTP, and IMAP protocols.

infra

Infrastructure to set up the public Compiler Explorer instances and compilers

kindle_vocab_tools

Tools for working iwth Kindle vocab.db

linksem

Semantic model for aspects of ELF static linking and DWARF debug information

opt-steps

script to show LLVM optimizer steps

read-dwarf

Binary analysis tool

rssbackup

Backup RSS feed data (for medium.com but could be used with other sites)

takeoutupload

Upload Googe Takeout mail backup back to Gmail

tree-sitter-core

tree-sitter grammar for Cerberus Core language