Skip to content

@coq-concurrency Concurrency in Coq

Change the repository type filter

All

    Repositories list

    3 repositories

    • system

      Public
      The monad and API definitions.
      HTML
      •
      BSD 2-Clause "Simplified" License
      •3•7•2•0•Updated Feb 24, 2017Feb 24, 2017

    • pluto

      Public
      A web server written in Coq.
      Coq
      •
      MIT License
      •1•86•2•0•Updated Jul 14, 2016Jul 14, 2016

    • proxy

      Public
      A proxy to interface concurrent Coq programs with the operating system.
      OCaml
      •
      MIT License
      •0•5•0•0•Updated Jul 14, 2016Jul 14, 2016