Skip to content

bluerock-io/BRiCk

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5,912 Commits
.gitlab/merge_request_templates
.gitlab/merge_request_templates
 
 
coqdocjs
coqdocjs
 
 
doc
doc
 
 
elpi-extra
elpi-extra
 
 
flags
flags
 
 
ltac2-extra
ltac2-extra
 
 
ltac2-llm
ltac2-llm
 
 
ltac2-logger
ltac2-logger
 
 
ocaml-logger-lib
ocaml-logger-lib
 
 
ocaml-rocq-extra
ocaml-rocq-extra
 
 
ocaml-stdlib-extra
ocaml-stdlib-extra
 
 
rocq-bluerock-brick
rocq-bluerock-brick
 
 
rocq-bluerock-cpp2v
rocq-bluerock-cpp2v
 
 
rocq-bluerock-iris
rocq-bluerock-iris
 
 
rocq-bluerock-prelude
rocq-bluerock-prelude
 
 
rocq-bluerock-rocq-internals
rocq-bluerock-rocq-internals
 
 
rocq-lens
rocq-lens
 
 
rocq-tc-db-info
rocq-tc-db-info
 
 
rocq-tools
rocq-tools
 
 
rocq-upoly
rocq-upoly
 
 
scripts
scripts
 
 
.clang-format
.clang-format
 
 
.gitattributes
.gitattributes
 
 
.gitignore
.gitignore
 
 
.gitlab-ci.yml
.gitlab-ci.yml
 
 
.mailmap
.mailmap
 
 
CHANGES.md
CHANGES.md
 
 
CODEOWNERS
CODEOWNERS
 
 
LICENSE-BedRock
LICENSE-BedRock
 
 
LICENSE-LGPL
LICENSE-LGPL
 
 
LICENSE-LLVM
LICENSE-LLVM
 
 
Makefile
Makefile
 
 
README.md
README.md
 
 
_CoqProject.template
_CoqProject.template
 
 

Repository files navigation

BRiCk and other BlueRock libraries

BRiCk (Program logic for C++)

See this README.md.

Code generator for BRiCk

See this README.md.

Lens library

See this README.md.

Extension of std++ for universe polymorphic monads

See this README.md.

Extension of the elpi standard library

See this README.md.

Extension of the Ltac2 standard library

See this README.md.

Ltac2 logging library

See this README.md.

OCaml library with extensions of the Rocq API

See this README.md.

OCaml logger library

See this README.md.

Extension of the OCaml standard library

See this README.md.

Instrumentation for the Rocq compiler

See this README.md.

About

Formalization of C++ for verification purposes.

bluerock-io.github.io/BRiCk/

Topics

cplusplus coq coq-formalization cplusplus-14 cplusplus-11 coq-library cplusplus-17 cplusplus-20 cplusplus-23

Resources

Readme

License

Unknown and 2 other licenses found

Licenses found

Unknown
LICENSE-BedRock
LGPL-2.1
LICENSE-LGPL
Apache-2.0
LICENSE-LLVM
Activity
Custom properties

Stars

81 stars

Watchers

8 watching

Forks

13 forks
Report repository

Releases

50 tags

Contributors 21
+ 7 contributors

Languages