Skip to content
View baioc's full-sized avatar
🌑
Does the Black Moon howl?
🌑
Does the Black Moon howl?

Block or report baioc

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

Hello, World! 👋

  • 💻   I'm a Software Engineer, with a Computer Science degree.
  • 🔧   I'm most skilled in systems programming and tool development.
  • 🏛️   My work and research experiences include:
    • 🐧   FOSS development and maintenance
    • ⏳   Digital signature timestamping in PKI
    • 🛠   Advanced build and testing infrastructure
    • 🕸️   Formal verification of distributed algorithms
    • 🧬   Simulation of biological computing circuits
    • 📹   Video compression standards
    • 🪫   High-voltage electronic converters
  • 🔭   I also like Cybersecurity and Compilers.
  • 📔   Feel free to check out my résumé and dev portfolio.
  • 📫   Want to reach* me? Try LinkedIn or Twitter.
    • Or, if I've given you an email address, I prefer that option.
Top Langs

* For security-sensitive communications, please encrypt your messages with my public PGP key.
Its fingerprint is CBC54EF64ADF0F590095B06ABD4C56811EC6922D, and it should be available at:


FormallyShrp dagger3d

rcme-ICASSP2021-poster antlir re-multif

graf BASIC

Padn't PyCG eris.btree

Pinned Loading

  1. graf graf Public

    Plot discretized line charts in your terminal

    F# 1

  2. padnt padnt Public

    A Dontpad clone implemented with Spring Boot

    Java 5 2

  3. clox clox Public

    Compiler and VM for Lox, a JS-like language

    C 9 1

  4. FormallySharp FormallySharp Public

    Online formal language designer

    F# 3

  5. PyCG PyCG Public

    Forked from RamAddict/Interactive-Graphical-System

    3D Interactive Graphical System

    Python 1

  6. eriz eriz Public

    Data structures and utilities

    Zig