mikhaylovilya
Follow
-
instrew Public
Forked from aengelke/instrewA high performance LLVM-based dynamic binary instrumentation framework
C GNU Lesser General Public License v2.1 UpdatedJan 8, 2025 -
matmex-diploma-template Public
Forked from spbu-se/matmex-diploma-templateLatex шаблон текста для квалификационных работ
TeX Creative Commons Zero v1.0 Universal UpdatedDec 22, 2024 -
report_presentation_template Public
Forked from spbu-se/report_presentation_templateШаблон презентации для квалификационных работ
TeX Creative Commons Zero v1.0 Universal UpdatedDec 22, 2024 -
-
coq-supplementary Public
Forked from dboulytchev/coq-supplementaryA supplementary Coq workout repository
Coq UpdatedOct 2, 2024 -
x86-64-minimal-JIT-compiler-Cpp Public
Forked from sol-prog/x86-64-minimal-JIT-compiler-CppWriting a minimal x86-64 JIT compiler in C++
C++ GNU General Public License v3.0 UpdatedMay 13, 2024 -
sqvae Public
Forked from sony/sqvaePytorch implementation of stochastically quantized variational autoencoder (SQ-VAE)
Python Apache License 2.0 UpdatedMay 13, 2024 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedApr 16, 2024 -
-
-
embox Public
Forked from embox/emboxModular and configurable OS for embedded applications
C BSD 2-Clause "Simplified" License UpdatedJan 6, 2024 -
vychi Public
Code for homework assignments in course "Methods of Computation and Computational Workshop"
OCaml MIT License UpdatedDec 30, 2023 -
-
-
ocaml-syntax-extension Public
integrating ocaml with qt/qml
OCaml GNU General Public License v2.0 UpdatedJun 1, 2023 -
-
-
-
lablqml Public
Forked from Kakadu/lablqmlInterfacing Qt/QML with OCaml. Formely known as lablqt
OCaml GNU Lesser General Public License v2.1 UpdatedDec 20, 2022 -