Skip to content
View Cardosaum's full-sized avatar
🦀
Flipping bits
🦀
Flipping bits

Highlights

  • Pro

Block or report Cardosaum

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

Software craftsmanship in progress 🛠️💻

Software Engineer with a focus on crafting robust software. Experienced in architecting and designing distributed systems, with additional background in zero knowledge proofs, decentralized finance, DevOps, and bioinformatics.

Proficient in Rust, and currently exploring the powerful capabilities of Elixir for distributed computing. Additionally experienced in Python, C, C++, shell scripting, SQL, and R. Currently delving deeper into functional programming paradigms and gearing up to explore Racket and OCaml next.

Currently Working With Previous Experience Next Up
Rust Python Racket
Elixir C OCaml
SQL C++
Shell
R

🔗 Contacts:

Twitter Github Badge

📊 Statistics

cardosaum's github stats

🔬 Details GitHub Metrics

Pinned Loading

  1. risc0/risc0 risc0/risc0 Public

    RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

    C++ 1.7k 424

  2. cdr3-parser cdr3-parser Public

    a simple (and fast) command line program to generate statistics from CDR3 sequences

    Rust 2

  3. guia-do-cicalouro guia-do-cicalouro Public

    Guia criado com o objetivo de ajudar os calouros do curso de Ciência da Computação da Universidade de Brasília

    SCSS 6 1

  4. attila attila Public

    Forked from waldeyr/attila

    ATTILA - AutomaTed Tool For Immunoglobulin Analysis

    R 1 1

  5. competitive-programming competitive-programming Public

    Solved exercises in plataforms such as CodeForces and AtCoder

    C++

  6. anki-addons anki-addons Public

    My addon contribuitions

    Python 2 3