Pinned Repositories
antiunification
Translating intersection types to polymorphic with anti-unification.
azure-storage-cpp
Microsoft Azure Storage Client Library for C++
cfl-reach
Kotlin implementation of CFL Reachability algorithm for pointer analysis in C++ and Java programs
compiler-workout
eccrypto
liquidhaskell
Liquid Types For Haskell
liquidjava-examples
Examples to use with LiquidJava
oquechy.github.io
My personal website
safe-coupling
Relational verification of probabilistic programs
oquechy's Repositories
oquechy/safe-coupling
Relational verification of probabilistic programs
oquechy/cfl-reach
Kotlin implementation of CFL Reachability algorithm for pointer analysis in C++ and Java programs
oquechy/eccrypto
oquechy/liquidhaskell
Liquid Types For Haskell
oquechy/liquidjava-examples
Examples to use with LiquidJava
oquechy/oquechy.github.io
My personal website
oquechy/antiunification
Translating intersection types to polymorphic with anti-unification.
oquechy/azure-storage-cpp
Microsoft Azure Storage Client Library for C++
oquechy/Docker-Practice
oquechy/DT2020
oquechy/Glean
System for collecting, deriving and working with facts about source code.
oquechy/hatrace
scriptable strace
oquechy/hpcourse
Repository to store student's practical works on high performance computing course
oquechy/hsthrift
The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.
oquechy/kotlin-hse-2022
oquechy/liquid-base
Drop-in replacement for the base library, to use with Liquid Haskell
oquechy/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
oquechy/logical-programming
oquechy/memo-excercise
oquechy/metacomputing
oquechy/ML-Basics
oquechy/OpenCL-Practice
oquechy/pandoc
Universal markup converter
oquechy/pracths
oquechy/PullPush
oquechy/software-design
Software design labs
oquechy/software-design-1
SPbHSE Software Design course, Spring '19
oquechy/TAPL-Arend
Arend formalisation of Pierce's TAPL
oquechy/web
oquechy/yasm4u
Yet Another State Machine for Universe