Skip to content
View SergioBonatto's full-sized avatar
🐧
https://sergiobonatto.github.io
🐧
https://sergiobonatto.github.io
115 followers · 120 following

Sponsors

@dellamora

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

Organizations

@dracula @UwU-Jogos @Agoriz

Block or report SergioBonatto

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
SergioBonatto/README.md
Inferno Canto VIII - Gustave Doré

Sergio Bonatto

Software engineer focused on programming languages, type systems, and low-level systems. Work spans formal methods, functional programming, and operating systems. Main interests include dependent type theory, proof languages, language interpreters, virtual machines, and minimalist kernels.

Areas of Interest

  • Programming languages and interpreters
  • Lambda calculus and type systems
  • Dependent types and proof assistants
  • Operating systems and kernels
  • Virtual machines and emulators
  • Massively parallel and functional computation models

Technologies

  • Languages: C, Haskell, Rust, TypeScript
  • Formal methods: dependent types, proof development, type theory
  • Systems: kernels, virtual memory, system calls, emulation
  • Applications: distributed systems, web applications, tooling

Contact

Pinned Loading

  1. bend-lang-utils bend-lang-utils Public

    Bend Utils is an unofficial repository that gathers a series of useful functions and types for developers using the Bend language

    7 2

  2. HigherOrderCO/Bend HigherOrderCO/Bend Public

    A massively parallel, high-level programming language

    Rust 19.4k 475

  3. HigherOrderCO/Kind HigherOrderCO/Kind Public

    A modern proof language

    Haskell 3.7k 149

  4. PraxisOS PraxisOS Public

    A minimalist monolithic OS kernel for the RISC-V 32-bit architecture. An educational project demonstrating core concepts like multitasking, virtual memory, and system calls.

    C 5

  5. sergiobonatto.github.io sergiobonatto.github.io Public

    A high-performance, minimalist web engine for personal sites, written in C and compiled to WebAssembly. Features a zero-allocation Markdown parser, build-time asset inlining, and a low-latency brid…

    C 4

  6. KirikaeLabs/UCHIKOMI KirikaeLabs/UCHIKOMI Public

    High-performance code risk telemetry engine for structural hotspot analysis. Correlates AST-based complexity metrics with Git churn signals to identify volatile, high-risk code regions.

    Rust 3