Skip to content

Instantly share code, notes, and snippets.

View KoviRobi's full-sized avatar

Kovacsics Robert KoviRobi

25 followers · 9 following
View GitHub Profile
@KoviRobi
KoviRobi / hello.md
Last active January 15, 2026 16:32
Executable literate programming markdown
@KoviRobi
KoviRobi / 01-ocaml-build.md
Last active October 13, 2025 05:41
OCaml on Android

Building OCaml on Android/termux

My system is an Android Android 11 aarch64/Lenovo L79031 (Legion Duel)

System details (neofetch) 
u0_a345@localhost
-----------------
@KoviRobi
KoviRobi / coq-pystack.html
Last active October 21, 2024 17:25
https://github.com/ms-jpq/coq_nvim/issues/653 Pystack
<style>
@media (prefers-color-scheme: dark) {
body {
background-color: #002b36;
color: #fdf6e3;
}
}
@media (prefers-color-scheme: light) {
body {
background-color: #fdf6e3;
@KoviRobi
KoviRobi / mozwire_networkmanager.md
Created August 4, 2024 14:54
MozWire and NetworkManager

This is a reminder for me on how to use MozWire (Mozilla VPN on Linux)

First, make sure you have mozwire installed. You can use your normal package manager, I use nix here

$ nix shell nixpkgs\#mozwire

Then log in to Mozilla VPN, via

@KoviRobi
KoviRobi / nix-install-2.log
Created April 2, 2020 15:29
downloading Nix 2.3.3 binary tarball for x86_64-linux from 'https://nixos.org/releases/nix/nix-2.3.3/nix-2.3.3-x86_64-linux.tar.xz' to '/tmp/nix-binary-tarball-unpack.DNen1PENRW'...
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 86 100 86 0 0 858 0 --:--:-- --:--:-- --:--:-- 860
100 16.4M 100 16.4M 0 0 95.5M 0 --:--:-- --:--:-- --:--:-- 95.5M
Note: a multi-user installation is possible. See https://nixos.org/nix/manual/#sect-multi-user-installation
Switching to the Daemon-based Installer
Welcome to the Multi-User Nix Installation

This installation tool will set up your computer with the Nix package
@KoviRobi
KoviRobi / nix-install.log
Created April 2, 2020 15:29
downloading Nix 2.3.3 binary tarball for x86_64-linux from 'https://nixos.org/releases/nix/nix-2.3.3/nix-2.3.3-x86_64-linux.tar.xz' to '/tmp/nix-binary-tarball-unpack.4U1lpLFhC6'...
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 86 100 86 0 0 725 0 --:--:-- --:--:-- --:--:-- 728
100 16.4M 100 16.4M 0 0 87.7M 0 --:--:-- --:--:-- --:--:-- 87.7M
Note: a multi-user installation is possible. See https://nixos.org/nix/manual/#sect-multi-user-installation
Switching to the Daemon-based Installer
Welcome to the Multi-User Nix Installation

This installation tool will set up your computer with the Nix package
@KoviRobi
KoviRobi / build-awsf1-2.log
Created March 31, 2020 19:52
which: no quartus_sh in (/nix/store/kp60cyq5iig35gzp7l2pr0ilxxa4m919-bash-interactive-4.4-p23/bin:/nix/store/mwfy3ihfydvrjmsimbd2kkr20n9abqsv-patchelf-0.9/bin:/nix/store/1wb31gzrjw055xl6d3igzj1gnajzlwbk-gcc-wrapper-9.2.0/bin:/nix/store/gh9a48qcwzw588vy4w72w93kad0mhhi8-gcc-9.2.0/bin:/nix/store/c2lx3lsqp0y5kwvwkqma8iihc7xjj1m8-glibc-2.30-bin/bin:/nix/store/hzvl3dvv8651iqlb5g6gq5hzjzmhjn7m-coreutils-8.31/bin:/nix/store/ahfsyzh84splz1p5ryj9j1isqgm5739b-binutils-wrapper-2.31.1/bin:/nix/store/nfs9wf6ipffr9g9ylzb4i9c1i607nxvq-binutils-2.31.1/bin:/nix/store/c2lx3lsqp0y5kwvwkqma8iihc7xjj1m8-glibc-2.30-bin/bin:/nix/store/hzvl3dvv8651iqlb5g6gq5hzjzmhjn7m-coreutils-8.31/bin:/nix/store/2vxm66aq8f580x90z6nwc4iglm3ahijh-bluespec-unstable-2020.02.09/bin:/nix/store/im6zg1fqr7fp0q9fmj56p3zacvv36ys9-strace-5.5/bin:/nix/store/78m6fpsrczklmscgy55hxlyfwzwpylab-python-2.7.17-env/bin:/nix/store/hzvl3dvv8651iqlb5g6gq5hzjzmhjn7m-coreutils-8.31/bin:/nix/store/rphcpivxfm4blw36ki262yrmqygw9pcp-findutils-4.7.0/bin:/nix/store/h3bhvh06cf03l
@KoviRobi
KoviRobi / example-bluespec-shell.nix
Last active April 1, 2020 14:05
{ nixpkgs ? import <nixpkgs> {}
}:
with nixpkgs;
stdenv.mkDerivation {
name = "connectal";
version = "1.0.0";
buildInputs = [
bluespec
strace
@KoviRobi
KoviRobi / build-awsf1.log
Created March 31, 2020 16:32
grep: /home/rmk35/programming/bluespec/connectal/boardinfo/.json: No such file or directory
which: no quartus_sh in (/nix/store/kp60cyq5iig35gzp7l2pr0ilxxa4m919-bash-interactive-4.4-p23/bin:/nix/store/mwfy3ihfydvrjmsimbd2kkr20n9abqsv-patchelf-0.9/bin:/nix/store/1wb31gzrjw055xl6d3igzj1gnajzlwbk-gcc-wrapper-9.2.0/bin:/nix/store/gh9a48qcwzw588vy4w72w93kad0mhhi8-gcc-9.2.0/bin:/nix/store/c2lx3lsqp0y5kwvwkqma8iihc7xjj1m8-glibc-2.30-bin/bin:/nix/store/hzvl3dvv8651iqlb5g6gq5hzjzmhjn7m-coreutils-8.31/bin:/nix/store/ahfsyzh84splz1p5ryj9j1isqgm5739b-binutils-wrapper-2.31.1/bin:/nix/store/nfs9wf6ipffr9g9ylzb4i9c1i607nxvq-binutils-2.31.1/bin:/nix/store/c2lx3lsqp0y5kwvwkqma8iihc7xjj1m8-glibc-2.30-bin/bin:/nix/store/hzvl3dvv8651iqlb5g6gq5hzjzmhjn7m-coreutils-8.31/bin:/nix/store/2vxm66aq8f580x90z6nwc4iglm3ahijh-bluespec-unstable-2020.02.09/bin:/nix/store/im6zg1fqr7fp0q9fmj56p3zacvv36ys9-strace-5.5/bin:/nix/store/78m6fpsrczklmscgy55hxlyfwzwpylab-python-2.7.17-env/bin:/nix/store/hzvl3dvv8651iqlb5g6gq5hzjzmhjn7m-coreutils-8.31/
@KoviRobi
KoviRobi / lotr-slow-down.py
Last active December 6, 2019 23:40
Opposite of https://www.youtube.com/watch?v=PmsxwfTlohU
#!/usr/bin/env nix-shell
#! nix-shell -i python -p "(python3.withPackages (p: with p; [ pysrt ]))"
import pysrt
import re
regexp = re.compile(r'\bring\b', flags=re.I)
filename='LOTR1.srt'
subs = pysrt.open(filename)