cogumbreiro Goto Github PK

abstractnumericallinear

Playing with Ocaml

aniceto-coq

Aniceto is a library that helps Coq development. It includes a libray of properties on graph theory.

apisan

APISan: Sanitizing API Usages through Semantic Cross-Checking

array-access

backslide

:sweat_drops: CLI tool for making HTML presentations with Remark.js using Markdown

bootstrap-relationships

boyland-proof

boyland-proof

brenner-coq

Brenner is a calculus for reasoning about task parallelism and barrier synchronization. This calculus distils the semantics of phasers and unifies the synchronisation patterns of various abstractions.

bugle

An LLVM Bitcode to Boogie translator

c9-ocaml

Installation script for OCaml and OPAM inside a Cloud9 IDE workspace

cil

C Intermediate Language

cloud9

The Cloud9 main repository

cnc-framework

Toolchain for CnC projects running on the Open Community Runtime (OCR) and the Intel CnC Runtime (iCnC)

code-miner-tk

cogumbreiro.github.io

Tiago Cogumbreiro's personal web page.

concurrit

Automatically exported from code.google.com/p/concurrit

coq-plugin-template

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

coqdoc-jekyll

cpm

C++ Package Manager

cpm-boost

Boost distribution as a CPM package.

cpm-catch

CPM Module for Catch testing library

cpm-cxx-prettyprint

cxx-prettyprint: A C++ Container Pretty-Printer

cpm-flatbuffers

CPM external for Flatbuffers.

cpm-nlohmann-json

CPM external for Nlohmann's JSON library.

csrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

cuda_examples

downburst

Fast Ubuntu Cloud Image creation on libvirt

elasticsearch

Open Source, Distributed, RESTful Search Engine

eventracer

A race detection tool for event driven applications.

faial-tutorial

A tutorial on how to use `faial`.