Skip to content
@bluerock-io

BlueRock Security

Popular repositories Loading

  1. BRiCk BRiCk Public

    Formalization of C++ for verification purposes.

    Coq 72 13

  2. coq-lsp coq-lsp Public

    Forked from ejgallego/coq-lsp

    Visual Studio Code Extension and Language Server Protocol for Coq

    OCaml 1

  3. fm-releases fm-releases Public

    Formal Methods releases

  4. flowise flowise Public

    Forked from FlowiseAI/Flowise

    Drag & drop UI to build your customized LLM flow

    TypeScript

  5. anthropic-quickstarts anthropic-quickstarts Public

    Forked from anthropics/anthropic-quickstarts

    A collection of projects designed to help developers quickly get started with building deployable applications using the Anthropic API

    TypeScript

  6. coq coq Public

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml

Repositories

Showing 10 of 15 repositories
  • BRiCk Public

    Formalization of C++ for verification purposes.

    bluerock-io/BRiCk’s past year of commit activity
    Coq 72 13 1 3 Updated Feb 1, 2025
  • fm-ci Public
    bluerock-io/fm-ci’s past year of commit activity
    Python 0 0 0 0 Updated Jan 29, 2025
  • coq-lsp Public Forked from ejgallego/coq-lsp

    Visual Studio Code Extension and Language Server Protocol for Coq

    bluerock-io/coq-lsp’s past year of commit activity
    OCaml 1 LGPL-2.1 35 0 0 Updated Jan 22, 2025
  • coq-elpi Public Forked from LPCIC/coq-elpi

    Coq plugin embedding elpi

    bluerock-io/coq-elpi’s past year of commit activity
    OCaml 0 LGPL-2.1 56 0 0 Updated Jan 22, 2025
  • elpi Public Forked from LPCIC/elpi

    Embeddable Lambda Prolog Interpreter

    bluerock-io/elpi’s past year of commit activity
    Prolog 0 LGPL-2.1 37 0 0 Updated Jan 22, 2025
  • Coq-Equations Public Forked from mattam82/Coq-Equations

    A function definition package for Coq

    bluerock-io/Coq-Equations’s past year of commit activity
    Coq 0 LGPL-2.1 47 0 0 Updated Jan 22, 2025
  • coq-ext-lib Public Forked from coq-community/coq-ext-lib

    A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

    bluerock-io/coq-ext-lib’s past year of commit activity
    Coq 0 BSD-2-Clause 48 0 0 Updated Jan 22, 2025
  • iris Public

    The Coq development of iris -- Forked from https://gitlab.mpi-sws.org/iris/iris

    bluerock-io/iris’s past year of commit activity
    Coq 0 0 0 0 Updated Jan 22, 2025
  • stdpp Public

    An extended "Standard Library" for Coq. -- Forked from https://gitlab.mpi-sws.org/iris/stdpp

    bluerock-io/stdpp’s past year of commit activity
    Coq 0 0 0 0 Updated Jan 22, 2025
  • coq Public Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

    bluerock-io/coq’s past year of commit activity
    OCaml 0 LGPL-2.1 682 0 0 Updated Jan 22, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…