barclata

barclata's Stars

• pauleve/docker-mtgo

  Docker image with ready-to-play MTGO (Magic Online) for Linux and macOS

  Language:Shell48434

• palmskog/coq-plugin-template

  Template of Coq Plugin using the Dune build system, and showcasing some advanced features

  1

• 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 development of machine-checked proofs.

  Language:OCaml4.8k646

• Objelisks/Great-Dungeon-in-the-Sky

  :video_game::fire: Assemblee Compo entry

  Language:ActionScript21