Skip to content
@bluerock-io

BlueRock Security

Popular repositories Loading

  1. BRiCk BRiCk Public

    Formalization of C++ for verification purposes.

    Coq 80 14

  2. rocq-stdlib rocq-stdlib Public

    BlueRock's mirror of the Rocq Standard Library

    Coq 1 1

  3. ceps ceps Public

    Forked from rocq-prover/rfcs

    Coq Enhancement Proposals

  4. fm-releases fm-releases Public

    Formal Methods releases

  5. flowise flowise Public

    Forked from FlowiseAI/Flowise

    Drag & drop UI to build your customized LLM flow

    TypeScript

  6. 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

Repositories

Showing 10 of 19 repositories
  • fm-ci Public
    Python 0 1 0 0 Updated Mar 28, 2025
  • fm-workspace Public
    Shell 0 2 3 1 Updated Mar 28, 2025
  • BRiCk Public

    Formalization of C++ for verification purposes.

    Coq 80 14 1 3 Updated Mar 28, 2025
  • formal-methods Public
    CSS 0 0 0 0 Updated Mar 23, 2025
  • coq Public Forked from rocq-prover/rocq

    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.

    OCaml 0 LGPL-2.1 693 0 0 Updated Mar 19, 2025
  • flowise Public Forked from FlowiseAI/Flowise

    Drag & drop UI to build your customized LLM flow

    TypeScript 0 Apache-2.0 19,303 0 0 Updated Mar 14, 2025
  • alectryon Public
    HTML 0 MIT 0 0 0 Updated Mar 11, 2025
  • rocq-stdlib Public

    BlueRock's mirror of the Rocq Standard Library

    Coq 1 LGPL-2.1 1 0 0 Updated Mar 11, 2025
  • coq-elpi Public Forked from LPCIC/coq-elpi

    Coq plugin embedding elpi

    Coq 0 LGPL-2.1 59 0 0 Updated Mar 7, 2025
  • elpi Public Forked from LPCIC/elpi

    Embeddable Lambda Prolog Interpreter

    Prolog 0 LGPL-2.1 38 0 0 Updated Mar 7, 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…