Skip to content
View SergioBonatto's full-sized avatar
🐧
https://bonatto.vercel.app
🐧
https://bonatto.vercel.app
95 followers · 100 following

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 @torus-prediction-swarm

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 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
SergioBonatto/README.md

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.

Experience ranges from low-level C and RISC-V systems work to high-level functional abstractions in Haskell. Projects often emphasize correctness, explicit semantics, and simple but rigorous implementations.

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. Phi Phi Public

    A Lambda Calculus Interpreter (WIP)

    Haskell 4

  3. HigherOrderCO/Bend HigherOrderCO/Bend Public

    A massively parallel, high-level programming language

    Rust 19.1k 470

  4. HigherOrderCO/Kind HigherOrderCO/Kind Public

    A modern proof language

    Haskell 3.7k 148

  5. FlowCash FlowCash Public

    A beautifully designed personal finance app built with React Native and Expo, offering multi-language and multi-currency support, glassmorphism UI, and JSON import/export functionality.

    TypeScript 2

  6. 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 4