Skip to content

Instantly share code, notes, and snippets.

View Ivanknmk's full-sized avatar

Iván García Ivanknmk

19 followers · 24 following
View GitHub Profile
@Ivanknmk
Ivanknmk / config.el
Created July 17, 2022 03:50 — forked from Khady/config.el
OCaml and Reasonml emacs configuration
(use-package company
:ensure t
:custom
(company-quickhelp-delay 0)
(company-tooltip-align-annotations t)
:hook
((prog-mode utop-mode) . company-mode)
:config
(company-quickhelp-mode 1)
:bind
@Ivanknmk
Ivanknmk / curl.md
Created April 15, 2023 16:02 — forked from subfuzion/curl.md
curl POST examples

Common Options

-#, --progress-bar Make curl display a simple progress bar instead of the more informational standard meter.

-b, --cookie <name=data> Supply cookie with request. If no =, then specifies the cookie file to use (see -c).

-c, --cookie-jar <file name> File to save response cookies to.

@Ivanknmk
Ivanknmk / Coral TPU on Debian 12 Bookworm.md
Created December 21, 2025 20:16 — forked from emiroglu/Coral TPU on Debian 12 Bookworm.md

Coral TPU on Debian 12 (Bookworm)

This installation is tested on the following Raspberry Pi SBCs:

  • Raspberry Pi 4B
  • Raspberry Pi 5 6.6.51-1+rpt3 (2024-10-08) aarch64 GNU/Linux)

with the following Coral TPUs:

  • Coral USB Accelerator
  • Coral Dual Edge TPU (installed on a Pineboards Hat AI!)