eupp Goto Github PK

allocgc

Malloc for cpp gc

allocpp

policy-based designed c++ allocator

asm_hw

c2asm

carpooling

Project on Multiagent systems course

computational_hw

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.

eupp.github.io

finmap

Finite sets, finite maps, multisets and generic sets

google-play-crawler

Play with Google Play API :)

gt

Datatype-generic object-oriented transformations for OCaml

hackaween

hahn

Hahn: A Coq library

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

homeworksemester1

Домашние работы по программированию. 1 семестр

homeworksemester2

Домашние работы по программированию. 2 семестр

homeworksemester3

домашние работы по программированию, 3 семестр

homeworksemester4

hpcourse

Project is aimed to store student's practical works on high performance computing course

ir-course

Project on Information Retrieval course (simple search engine)

jb-lab-proceedings

Automatically exported from code.google.com/p/jb-lab-proceedings

kotlinx-lincheck

Framework for testing concurrent data structures

latticekanren

Demo of lattice-based minikanren

math-comp

Mathematical Components

monae

Monadic effects and equational reasonig in Coq

ocanren

Statically typed embedding of miniKanren relational programming language into Objective Caml

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

operationalsemanticsc11

An operational semantics for C11.

relation-algebra

Relation algebra library for Coq

relcppmem