blaisorblade Goto Github PK

co4

complexity concerned constraint compiler

color

Coq library on rewriting theory and termination

combunqwebapp

A Bunq web interface made by bunqers

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.

coq-elpi

Coq plugin embedding elpi

coq-lens

Lenses in Coq

coq-playground

Random Coq experiments

coq-plugin-template-atdgen

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

coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

coqcp

coqdocjs

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

corefx

This repository contains the foundational libraries that make up the .NET Core development stack.

cpp2v

Formalization of C++ for verification purposes.

cs590

gh pages

cubeval

high-performance cubical evaluation

delite

The Delite Git Repo

deltas

discourse-mathjax

Mathjax plugin for discourse

discourse_docker

A Docker image for Discourse

dmgextractor

DMGExtractor, a Java application for extracting the contents of Apple packed disk image files (UDIF files with the '.dmg' extension). License: GPLv3

docker

Docker - the open-source application container engine

docker-coq

Docker images of the Coq proof assistant [maintainer=@erikmd]

docker-dot-iris

Docker images with dependencies for dot-iris

docs

Source for the octopress.org documentation website

dot

formalization of the Dependent Object Types (DOT) calculus

dot-calculus

Adding extensions to DOT calculus

dot-calculus-1

Formalization of the Dependent Object Types (DOT) calculus

dot-iris

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

dotfiles-scratch

dotty

Research platform for new language concepts and compiler technologies for Scala.