8000 SergioBonatto (Sergio Bonatto) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View SergioBonatto's full-sized avatar
🐧
https://bonatto.vercel.app
🐧
https://bonatto.vercel.app
93 followers · 119 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

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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 formal methods, functional programming, and rigorous system design.

About Me

I specialize in building reliable and mathematically sound software using formal verification and functional programming paradigms. My work covers:

  • Formal verification and proof development with dependently typed languages
  • Functional programming with emphasis on immutability and strong type systems
  • Distributed systems design with concurrency and event-driven patterns
  • Modern web development using TypeScript, React, and scalable architectures

Pinned Repositories

Please check the pinned repositories for representative projects that showcase my technical skills and expertise.

Core Technical Skills

  • Formal verification & dependently typed languages: Agda, Idris, Haskell
  • Functional programming: Haskell, Idris, Rust (safe and immutable design)
  • Distributed systems & blockchain: Rust (Anchor for Solana), concurrency, event-driven design
  • Web development: TypeScript, React, Next.js
  • Tools & practices: Git, Vim, CI/CD pipelines, automated testing

Contact

© Sergio Bonatto — Software Engineering & Formal Methods

Pinned Loading

  1. site site Public

    A personal website built with Next.js, React, Tailwind CSS, and TypeScript.

    TypeScript 1

  2. 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

  3. Phi Phi Public

    A Lambda Calculus Interpreter (WIP)

    Haskell 4

  4. HigherOrderCO/Bend HigherOrderCO/Bend Public

    A massively parallel, high-level programming language

    Rust 18.9k 466

  5. HigherOrderCO/Kind HigherOrderCO/Kind Public

    A modern proof language

    Haskell 3.7k 145

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

0