bbv
by mit-plv
Bedrock Bit Vector Library
AI summary
Bit Vector Library
A repository unifying bit vector definitions and lemmas across multiple Coq projects.
- stars
- 27
- forks
- 23
- watching
- 16
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Program verifier
Automated verification of higher-order programs using separation logic
RISC-V spec
An implementation of the RISC-V instruction set specification in Coq
Data type synthesizer
A Coq-based library for synthesizing correct-by-construction abstract data types and parsers from formal specifications
Compiler toolkit
A toolkit for compiling functional programs into imperative code for performance-critical applications
Bitset library
A formalization of bitset operations in Coq with extraction to OCaml native integers.
RISC-V semantics
A formal specification of the RISC-V instruction set architecture in Haskell
Bit vector library
A Common Lisp library providing functions and macros for handling bit vectors, arithmetic, type conversions, and measurements.
Bit Vector Library
An efficient implementation of a compact binary data structure for bit-level operations
Micro:bit library
A library that provides a set of APIs for interacting with the BBC micro:bit microcontroller from an Arduino-based environment.
Hardware specification platform
A platform for high-level parametric hardware specification and modular verification
Bit Vector Library
An implementation of an infinite bit vector in JavaScript for efficient bit manipulation and storage.
Code generator
Automated generation of cryptographic primitive code using a constructive design approach
Bit manipulation library
A C# library for efficient bit-level operations and manipulation of bit fields in various data types
Vert.x wrapper
An integration of Bitsy with Vert.x that enables usage in Java-based projects.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions bbv.