Pinned Repositories
allocgc
Malloc for cpp gc
allocpp
policy-based designed c++ allocator
asm_hw
LatticeKanren
Demo of lattice-based minikanren
sound_direction
trik_pocketsphinx
event-struct
Mechanized Theory of Event Structures
CppBasics
Learn fundamentals of C/C++ while developing simple arcade game
litmuskt
Litmus testing tool for Kotlin/Native (WIP)
lincheck
Framework for testing concurrent data structures
eupp's Repositories
eupp/trik_pocketsphinx
eupp/LatticeKanren
Demo of lattice-based minikanren
eupp/allocgc
Malloc for cpp gc
eupp/allocpp
policy-based designed c++ allocator
eupp/sound_direction
eupp/asm_hw
eupp/c2asm
eupp/carpooling
Project on Multiagent systems course
eupp/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/eupp.github.io
eupp/finmap
Finite sets, finite maps, multisets and generic sets
eupp/GT
Datatype-generic object-oriented transformations for OCaml
eupp/hackaween
eupp/hahn
Hahn: A Coq library
eupp/herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
eupp/hpcourse
Project is aimed to store student's practical works on high performance computing course
eupp/ir-course
Project on Information Retrieval course (simple search engine)
eupp/jb-lab-proceedings
Automatically exported from code.google.com/p/jb-lab-proceedings
eupp/kotlinx-lincheck
Framework for testing concurrent data structures
eupp/math-comp
Mathematical Components
eupp/monae
Monadic effects and equational reasonig in Coq
eupp/OCanren
Statically typed embedding of miniKanren relational programming language into Objective Caml
eupp/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
eupp/OperationalSemanticsC11
An operational semantics for C11.
eupp/relation-algebra
Relation algebra library for Coq
eupp/relcppmem
eupp/rustacata
Catamorphism in Rust
eupp/Simple-Web-Server
A very simple, fast, multithreaded, platform independent HTTP and HTTPS server and client library implemented using C++11 and Boost.Asio. Created to be an easy way to make REST resources available from C++ applications.
eupp/spbu_diploma
ВКР СПбГУ
eupp/wmm-review
A review paper on WMMs