Skip to content
View baioc's full-sized avatar
🌑
Does the Black Moon howl?
🌑
Does the Black Moon howl?
58 followers · 115 following

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

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 / Computer Scientist.
  • 🔧   I'm most skilled in systems programming and tool development.
  • 🏛️   My work and research experiences include:
    • 🐧   FOSS development and maintenance
    • ⏳   Digital signature timestamping for PKI
    • 🕸️   Formal verification of distributed algorithms
    • 🧬   Simulation of biological computing circuits
    • 📹   Video compression algorithm optimization
  • 🔭   I also like Cybersecurity and Compilers.
  • 📔   Feel free to check out my résumé and 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:

graf BASIC

salut rcme-ICASSP2021-poster re-multif

PyCG dagger3d

FormallyShrp eris.btree Padn't

Pinned Loading

  1. graf Public

    Plot discretized line charts in your terminal

    F# 1

  2. clox Public

    Compiler and VM for Lox, a JS-like language

    C 9

  3. hxdsp Public

    Cross-platform FFT

    Haxe 9

  4. FormallySharp Public

    Online formal language designer

    F# 3

  5. PyCG Public

    Forked from RamAddict/Interactive-Graphical-System

    3D Interactive Graphical System

    Python 1

  6. padnt Public

    A Dontpad clone built with Spring Boot

    Java 5 3