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

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.

Project Description
ecutils Python ECC library: Diffie–Hellman and Massey–Omura key exchange, ECDSA signatures, Koblitz message-to-point encoding.
js-ecutils JS/TS JavaScript/TypeScript port of ecutils for the browser and Node.js.
go-ecutils Go Go port of ecutils.
e2hat JS End-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.

Project Description
tern Fortran HF 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.
cdss Fortran CHIRP-DSSS-Polar digital modem with soft-decision reception and iterative refinement.
radioplanbr HTML RF coverage planning with Okumura-Hata, COST-231, ECC-33, Friis, and Ericsson models, including terrain and line-of-sight analysis.
sdrconnect Python Library for SDR connectivity and raw IQ data collection.

Embedded and AVR

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

Project Description
ik8b Rust Compiler from the ik language to Intel HEX firmware for AVR, with no external assembler, linker, or C runtime.
ikide Rust Cross-platform IDE for ik8b: syntax validation, AVR simulation, and avrdude flashing.
ik8bvm Rust · avr-vm C 8-bit AVR CPU core emulators.
cyone-assembly Go Assembly language targeting the Cyone Kernel on 8-bit microcontrollers.
avr-modular-system C Modular firmware architecture for AVR.

AI and machine learning

Project Description
iklab Python Planning-first CLI agent powered by Granite 4.0-H-Tiny.
llama-model-converter Python Converts 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. ecutils ecutils Public

    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. ikide ikide Public

    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. iklab iklab Public

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

    Python 3

  4. tern tern Public

    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 1