Pinned Repositories
isentry
Motion Detection Security Camera
asn1fpcoq
Coq formalization of ASN.1 floating point
BikeDashboard
Dashboard for stationary bike (FitDesk)
coq-min-imports
Script to remove unnecessary module imports from Coq sourcess
coq-switch
`switch` plugin for Coq
dashcam-browse
Vsysto Motorcycle Dashcam Web Browser
helix
Formally verified operator language and rewriting engine for high-performance computing
otetris
OCaml Tetris
simpleproxy
Simple TCP proxy
vzaliva's Repositories
vzaliva/simpleproxy
Simple TCP proxy
vzaliva/helix
Formally verified operator language and rewriting engine for high-performance computing
vzaliva/scripts_and_configs
Personal scripts and config files
vzaliva/coq-switch
`switch` plugin for Coq
vzaliva/cmu-ece-thesis-template
CMU ECE PhD Thesis LaTeX template
vzaliva/coq-config
Coq project configuration script
vzaliva/coq-log-analysis
Parse Coq log files and plot resolution trees
vzaliva/coq-min-imports
Script to remove unnecessary module imports from Coq sourcess
vzaliva/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
vzaliva/armasmparser
ARM assembly language parser
vzaliva/bits
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
vzaliva/cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
vzaliva/cerberus
Cerberus C semantics
vzaliva/chatgpt-shell
ChatGPT and DALL-E Emacs shells + Org babel 🦄 + a shell maker for other providers
vzaliva/cheri-docker-images
vzaliva/company-coq
IDE extensions for Proof General's Coq mode
vzaliva/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
vzaliva/coq-dune-examlpe
exampl of dune project using coq
vzaliva/coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
vzaliva/dynoplot
vzaliva/HaskellNet
Haskell library which provides client support for POP3, SMTP, and IMAP protocols.
vzaliva/infra
Infrastructure to set up the public Compiler Explorer instances and compilers
vzaliva/iris-tutorial
vzaliva/kindle_vocab_tools
Tools for working iwth Kindle vocab.db
vzaliva/linksem
Semantic model for aspects of ELF static linking and DWARF debug information
vzaliva/opt-steps
script to show LLVM optimizer steps
vzaliva/proof-explainer
Coq proof explainer
vzaliva/read-dwarf
Binary analysis tool
vzaliva/rssbackup
Backup RSS feed data (for medium.com but could be used with other sites)
vzaliva/takeoutupload
Upload Googe Takeout mail backup back to Gmail