bbv
Bit Vector Library
A repository unifying bit vector definitions and lemmas across multiple Coq projects.
Bedrock Bit Vector Library
27 stars
16 watching
23 forks
Language: Coq
last commit: 9 months ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
| mit-plv/coqutil | A collection of reusable tools and utilities for working with the Coq proof assistant | 41 |
| mit-plv/bedrock | Automated verification of higher-order programs using separation logic | 57 |
| mit-plv/riscv-coq | An implementation of the RISC-V instruction set specification in Coq | 109 |
| mit-plv/fiat | A Coq-based library for synthesizing correct-by-construction abstract data types and parsers from formal specifications | 147 |
| mit-plv/rupicola | A toolkit for compiling functional programs into imperative code for performance-critical applications | 50 |
 coq-community/bits | A formalization of bitset operations in Coq with extraction to OCaml native integers. | 22 |
| mit-plv/riscv-semantics | A formal specification of the RISC-V instruction set architecture in Haskell | 156 |
 thephoeron/bit-smasher | A Common Lisp library providing functions and macros for handling bit vectors, arithmetic, type conversions, and measurements. | 53 |
 marcazar/bitvector | An efficient implementation of a compact binary data structure for bit-level operations | 17 |
 distintiva/distintiva_microbit_lib | A library that provides a set of APIs for interacting with the BBC micro:bit microcontroller from an Arduino-based environment. | 0 |
| mit-plv/kami | A platform for high-level parametric hardware specification and modular verification | 142 |
 rawify/bitset.js | An implementation of an infinite bit vector in JavaScript for efficient bit manipulation and storage. | 224 |
| mit-plv/fiat-crypto | Automated generation of cryptographic primitive code using a constructive design approach | 715 |
 barncastle/bitskit | A C# library for efficient bit-level operations and manipulation of bit fields in various data types | 41 |
 cstamas/vertx-bitsy | An integration of Bitsy with Vert.x that enables usage in Java-based projects. | 1 |