Skip to content
View B1Z0N's full-sized avatar
🎯
Focusing
🎯
Focusing
47 followers · 110 following

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@gofarcorp

Block or report B1Z0N

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
B1Z0N/README.md

Hi, I'm Mykola 👋

I build tools that understand code.

My work sits around static analysis, parsers, language tooling, compilers, and program synthesis — mostly with C#/Roslyn and Rust.

🔭 Current direction

  • Folk — an experimental proof-oriented language and compiler in Rust
  • Program synthesis — symbolic reasoning, constraint solving, and correctness
  • Reliable AI tooling — making generated code easier to understand and verify
  • Security tooling — program-analysis-based vulnerability detection

🧠 Professional background

I have worked professionally on C# Roslyn and Rust static analysis, intermediate representations, clone detection, data-flow and taint analysis, SQL parsers, source generators, and editor-facing language tooling.

📫 Elsewhere

Website · LinkedIn · Email

Pinned Loading

  1. pool-of-threads pool-of-threads Public

    A refresher on Rust by building a work-stealing thread pool

    Rust

  2. hermes-mesh hermes-mesh Public

    Your Hermes agents, one shared brain.

    Shell

  3. LazyshGen LazyshGen Public

    Source generator to get seamlessly lazy at compile time.

    C# 7

  4. derivas derivas Public

    Library for analytical calculation of mathematical expressions

    C#

  5. iahr iahr Public

    Telegram userbot platform.

    Python 8

  6. fonlybot fonlybot Public

    A friendly little telegram bot to view your docs in google drive.

    TypeScript