Skip to content
View d-krylov's full-sized avatar
4 followers · 33 following

Achievements

Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report d-krylov

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
d-krylov/README.md

About

Hi there 👋

I am C++ developer interested in graphics and low-level programming. I like working close to the metal and building things from scratch: ray tracing, procedural generation, geometry processing, and small ShaderToy demos.

I'm also really into mathematics - I enjoy exploring different areas of math and solving olympiad problems. I also experiment with formal proof assistants such as Rocq and Lean.

Outside of programming and math: climbing, depressive music, and poetry.

My Projects:

To a greater or lesser extent, I am working on these projects:

Graphics and Geometry:

  1. Yuggoth - Vulkan Graphics Engine
  2. Innsmouth - Library for experiments with Vulkan
  3. Algernon - Geometry Processing Library
  4. ShaderToy - Demos from ShaderToy

Mathematics

  1. Mathematical Problems - Repository with solutions to various mathematical olympiad and other interesting problems (in Russian)

Functional Languages

  1. Software Foundations - Solutions to problems from the book Software Foundations

Activity

Top Languages

Networks

Linkedin Badge

Pinned Loading

  1. Yuggoth Yuggoth Public

    Vulkan Graphics Engine

    C++

  2. Innsmouth Innsmouth Public

    Library for experiments with Vulkan

    C++

  3. Algernon Algernon Public

    Geometry Processing Library

    C++

  4. Shadertoy Shadertoy Public

    Demos for ShaderToy

    GLSL

  5. software_foundations software_foundations Public

    Rocq Prover

  6. mathematical_problems mathematical_problems Public

    TeX