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. flowise flowise Public

    Forked from FlowiseAI/Flowise

    Drag & drop UI to build your customized LLM flow

    TypeScript

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

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

  6. elpi elpi Public

    Forked from LPCIC/elpi

    Embeddable Lambda Prolog Interpreter

    Prolog

Repositories

Showing 10 of 13 repositories
  • 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

    bluerock-io/anthropic-quickstarts’s past year of commit activity
    TypeScript 0 MIT 1,190 0 0 Updated Jan 7, 2025
  • BRiCk Public

    Formalization of C++ for verification purposes.

    bluerock-io/BRiCk’s past year of commit activity
    Coq 72 13 1 3 Updated Jan 6, 2025
  • fm-workspace Public
    bluerock-io/fm-workspace’s past year of commit activity
    Shell 0 0 0 0 Updated Dec 26, 2024
  • vscoq Public Forked from coq/vscoq

    Visual Studio Code extension for Coq

    bluerock-io/vscoq’s past year of commit activity
    OCaml 0 MIT 74 0 0 Updated Dec 13, 2024
  • 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 55 0 0 Updated Dec 13, 2024
  • 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 Dec 13, 2024
  • 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 Dec 13, 2024
  • 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 Dec 13, 2024
  • 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 Dec 12, 2024
  • 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 Dec 12, 2024
View all repositories

People

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

Most used topics

Loading…