BRiCk and other BlueRock libraries

Name		Name	Last commit message	Last commit date
Latest commit History 5,577 Commits
.gitlab/merge_request_templates		.gitlab/merge_request_templates
coqdocjs		coqdocjs
doc		doc
elpi-extra		elpi-extra
flags		flags
ltac2-extra		ltac2-extra
ltac2-logger		ltac2-logger
ocaml-logger-lib		ocaml-logger-lib
ocaml-rocq-extra		ocaml-rocq-extra
ocaml-stdlib-extra		ocaml-stdlib-extra
ocaml-swipl		ocaml-swipl
rocq-bluerock-brick		rocq-bluerock-brick
rocq-bluerock-cpp2v		rocq-bluerock-cpp2v
rocq-lens		rocq-lens
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
CODEOWNERS		CODEOWNERS
LICENSE-BedRock		LICENSE-BedRock
LICENSE-LGPL		LICENSE-LGPL
LICENSE-LLVM		LICENSE-LLVM
Makefile		Makefile
README.md		README.md
_CoqProject.template		_CoqProject.template

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Licenses found

Repository files navigation

BRiCk and other BlueRock libraries

BRiCk (Program logic for C++)

Code generator for BRiCk

Lens library

Extension of std++ for universe polymorphic monads

Extension of the elpi standard library

Extension of the Ltac2 standard library

Ltac2 logging library

OCaml library with extensions of the Rocq API

OCaml logger library

Extension of the OCaml standard library

OCaml bindings for SWI-Prolog

Instrumentation for the Rocq compiler

About

Licenses found

Releases

Contributors 20

Languages

License

Licenses found

bluerock-io/BRiCk

Folders and files

Latest commit

History

Repository files navigation

BRiCk and other BlueRock libraries

BRiCk (Program logic for C++)

Code generator for BRiCk

Lens library

Extension of std++ for universe polymorphic monads

Extension of the elpi standard library

Extension of the Ltac2 standard library

Ltac2 logging library

OCaml library with extensions of the Rocq API

OCaml logger library

Extension of the OCaml standard library

OCaml bindings for SWI-Prolog

Instrumentation for the Rocq compiler

About

Topics

Resources

License

Licenses found

Stars

Watchers

Forks

Releases

Contributors 20

Languages