Skip to content
View isakruas's full-sized avatar
🏠
Working from home
🏠
Working from home

Block or report isakruas

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
isakruas/README.md

English · Português · Español

Infrastructure Analyst at Pontotel. Licensed radio amateur, PU3IAR. Brazil.

isaklab.com · LinkedIn · Email · GitHub Sponsors

I work on cloud infrastructure: Kubernetes and Helm, CI/CD pipelines, infrastructure as code with Terraform, database administration, and observability with Sentry, Prometheus, and Grafana.

Outside of work I maintain open-source projects in cryptography, digital radio, and embedded systems. I write about them at isaklab.com.

Infrastructure Kubernetes · Helm · Terraform · GCP · CI/CD · Prometheus · Grafana · Sentry
Languages Python · Rust · Go · Fortran · C · JavaScript / TypeScript

Cryptography

Elliptic-curve cryptography implemented across Python, JavaScript, and Go, with an application built on it.

ProjectDescription
ecutilsPythonECC library: Diffie–Hellman and Massey–Omura key exchange, ECDSA signatures, Koblitz message-to-point encoding.
js-ecutilsJS/TSJavaScript/TypeScript port of ecutils for the browser and Node.js.
go-ecutilsGoGo port of ecutils.
e2hatJSEnd-to-end encrypted web chat using elliptic-curve cryptography; encryption runs client-side, so the server cannot read or forge messages.

Radio and signal processing

Amateur-radio (PU3IAR) digital modes, modems, and SDR tooling.

ProjectDescription
ternFortranHF weak-signal digital mode with a channel-aware receiver: 16-FSK, Gauss–Markov (Kalman/RTS) channel smoothing, CRC-aided polar coding, and cross-frame combining; validated against an ITU-R F.1487 Watterson channel and cross-calibrated with WSJT-X FT8.
cdssFortranCHIRP-DSSS-Polar digital modem with soft-decision reception and iterative refinement.
radioplanbrHTMLRF coverage planning with Okumura-Hata, COST-231, ECC-33, Friis, and Ericsson models, including terrain and line-of-sight analysis.
sdrconnectPythonLibrary for SDR connectivity and raw IQ data collection.

Embedded and AVR

Toolchain for 8-bit AVR microcontrollers: language, compiler, emulators, and IDE.

ProjectDescription
ik8bRustCompiler from the ik language to Intel HEX firmware for AVR, with no external assembler, linker, or C runtime.
ikideRustCross-platform IDE for ik8b: syntax validation, AVR simulation, and avrdude flashing.
ik8bvmRust · avr-vmC8-bit AVR CPU core emulators.
cyone-assemblyGoAssembly language targeting the Cyone Kernel on 8-bit microcontrollers.
avr-modular-systemCModular firmware architecture for AVR.

AI and machine learning

ProjectDescription
iklabPythonPlanning-first CLI agent powered by Granite 4.0-H-Tiny.
llama-model-converterPythonConverts Llama model weights to the Hugging Face format.

Open-source contributions

  • PeerDB #4365 — fixed a ClickHouse normalization failure caused by case-sensitive handling of the _peerdb_is_deleted column. (merged)
  • Mozilla bug 122752 — implementing SOCKS5 username/password authentication (RFC 1929) in Firefox's networking core. (in progress)

Background in Mathematics (IFNMG – Januária, 2016–2023); currently studying IT Management (PUCRS, 2025–2028). If my open-source work has been useful to you, you can support its maintenance through GitHub Sponsors.

Pinned Loading

  1. ecutilsecutilsPublic

    Python Library for Elliptic Curve Cryptography: key exchanges (Diffie-Hellman, Massey-Omura), ECDSA signatures, and Koblitz encoding. Suitable for crypto education and secure systems.

    Python 9 2

  2. ikideikidePublic

    The official, cross-platform graphical IDE for the ik8b programming language. Built in Rust, featuring real-time syntax validation, built-in AVR simulation, and one-click avrdude flashing.

    Rust 4

  3. iklabiklabPublic

    Planning-first CLI agent powered by Granite 4.0-H-Tiny

    Python 3

  4. ternternPublic

    HF weak-signal digital mode with a channel-aware receiver: 16-FSK, Gauss-Markov (Kalman/RTS) channel smoothing, CRC-aided polar coding, cross-frame combining, and a statistically validated ITU-R F.…

    Fortran 2