Skip to content

@bluerock-io BlueRock Security

Change the repository type filter

All

    Repositories list

    13 repositories

    • fm-workspace

      Public
      Shell
      •0•0•0•0•Updated Dec 23, 2024Dec 23, 2024

    • BRiCk

      Public
      Formalization of C++ for verification purposes.
      cpluspluscoqcoq-formalizationcplusplus-14cplusplus-11coq-librarycplusplus-17cplusplus-20cplusplus-23
      Coq
      •
      Other
      •12•72•1•2•Updated Dec 16, 2024Dec 16, 2024

    • vscoq

      Public
      Visual Studio Code extension for Coq
      OCaml
      •
      MIT License
      •72•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • coq-elpi

      Public
      Coq plugin embedding elpi
      OCaml
      •
      GNU Lesser General Public License v2.1
      •52•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • Coq-Equations

      Public
      A function definition package for Coq
      Coq
      •
      GNU Lesser General Public License v2.1
      •46•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • stdpp

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

    • iris

      Public
      The Coq development of iris -- Forked from https://gitlab.mpi-sws.org/iris/iris
      Coq
      •
      Other
      •0•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • 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.1k•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • coq-lsp

      Public
      Visual Studio Code Extension and Language Server Protocol for Coq
      OCaml
      •
      GNU Lesser General Public License v2.1
      •35•1•0•0•Updated Dec 12, 2024Dec 12, 2024

    • coq-ext-lib

      Public
      A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
      Coq
      •
      BSD 2-Clause "Simplified" License
      •47•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • elpi

      Public
      Embeddable Lambda Prolog Interpreter
      Prolog
      •
      GNU Lesser General Public License v2.1
      •37•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • 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
      •658•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • flowise

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