Skip to content

@bluerock-io BlueRock Security

Change the repository type filter

All

    Repositories list

    16 repositories

    • BRiCk

      Public
      Formalization of C++ for verification purposes.
      cpluspluscoqcoq-formalizationcplusplus-14cplusplus-11coq-librarycplusplus-17cplusplus-20cplusplus-23
      Coq
      •
      Other
      •13•75•1•3•Updated Mar 7, 2025Mar 7, 2025

    • fm-ci

      Public
      Python
      •0•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • coq-elpi

      Public
      Coq plugin embedding elpi
      Coq
      •
      GNU Lesser General Public License v2.1
      •56•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • elpi

      Public
      Embeddable Lambda Prolog Interpreter
      Prolog
      •
      GNU Lesser General Public License v2.1
      •37•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • coq-ext-lib

      Public
      A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
      Coq
      •
      BSD 2-Clause "Simplified" License
      •48•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • Coq-Equations

      Public
      A function definition package for Coq
      Coq
      •
      GNU Lesser General Public License v2.1
      •46•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • iris

      Public
      The Coq development of iris -- Forked from https://gitlab.mpi-sws.org/iris/iris
      Coq
      •
      Other
      •0•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • stdpp

      Public
      An extended "Standard Library" for Coq. -- Forked from https://gitlab.mpi-sws.org/iris/stdpp
      Coq
      •
      Other
      •0•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • coq-lsp

      Public
      Visual Studio Code Extension and Language Server Protocol for Coq
      OCaml
      •
      GNU Lesser General Public License v2.1
      •38•1•0•0•Updated Mar 7, 2025Mar 7, 2025

    • vscoq

      Public
      Visual Studio Code extension for Coq
      OCaml
      •
      MIT License
      •73•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • coq

      Public
      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
      •
      GNU Lesser General Public License v2.1
      •671•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • ceps

      Public
      Coq Enhancement Proposals
      34•0•0•1•Updated Mar 4, 2025Mar 4, 2025

    • fm-workspace

      Public
      Shell
      •1•0•3•1•Updated Jan 20, 2025Jan 20, 2025

    • anthropic-quickstarts

      Public
      A collection of projects designed to help developers quickly get started with building deployable applications using the Anthropic API
      TypeScript
      •
      MIT License
      •1.4k•0•0•0•Updated Jan 7, 2025Jan 7, 2025

    • flowise

      Public
      Drag & drop UI to build your customized LLM flow
      TypeScript
      •
      Apache License 2.0
      •19k•0•0•0•Updated Sep 16, 2024Sep 16, 2024

    • fm-releases

      Public
      Formal Methods releases
      0•0•0•0•Updated Apr 25, 2024Apr 25, 2024