-
(ex-)JetBrains Research
- Saint-Petersburg, Russia
- https://orcid.org/0000-0002-6773-5322
Lists (1)
Sort Name ascending (A-Z)
Stars
This is the repository where the mod resides.
Historical Volkov Commander archives and source snapshots
Source for the talk: "Making OCaml Safe for Performance Engineering"
Source code for Nexus Buddy 2 - the 3D Graphics Tool for Civilization 5 and Beyond Earth
A wrapper and an OCaml library to control 'perf' from the program being profiled.
A small library to output memory graph for ocaml values
A native, user-mode, multi-process, graphical debugger.
Minimal implementations for dependent type checking and elaboration
robur-coop / modulectomy
Forked from Drup/modulectomyDissect OCaml compiled programs, and weight their content
A project-based, guided introduction to Melange and its ecosystem for React developers.
µCPPO : a minimal, embeddable subset of CPPO
The official LLVM OCaml binding but built using dune
OCaml .mlx syntax dialect with JSX syntax expressions
The book "Performance Analysis and Tuning on Modern CPU"
MiniML compiler written in Haskell
a cross-platform image super-resolution tool
Battery manager to handle system performance modes and charge modes through acpi_calls for Lenovo IdeaPad - working on different devices, see readme.