https://github.com/rnbguy/fishpypano

Stitch two fish eye images to get 360° panorama

Last synced: 07 Apr 2025

https://github.com/rnbguy/pysphere

control Mi Sphere 360 camera from command line

360 kivy python tcp xiaomi

Last synced: 12 Apr 2025

https://github.com/rnbguy/rope

P2P file transfer utility

file-transfer local-network mdns mdns-sd p2p peer-discovery peer-to-peer progress-bar rust rust-lang tcp

Last synced: 07 Apr 2025

https://github.com/rnbguy/subscene-dl

Download subtitles from subscene.com

python3 subscene subtitle subtitle-downloader

Last synced: 07 Apr 2025

https://github.com/rnbguy/tla-playground

Online playground for TLA+

deno fresh tlaplus

Last synced: 07 Apr 2025

https://github.com/rnbguy/acestream-client

Acestream client written in Rust

Last synced: 07 Apr 2025

https://github.com/rnbguy/oopsla21artifact

Last synced: 27 Apr 2025

https://github.com/rnbguy/acasxu_tf_keras

Tensorflow Keras models for ACAS Xu networks

Last synced: 12 Apr 2025

https://github.com/rnbguy/apalarse

Typed formal specifications in Rust

Last synced: 06 Apr 2025

https://github.com/rnbguy/python-reluplex

Python extension to Reluplex

Last synced: 21 Aug 2025

https://github.com/rnbguy/docker-sigavpn

Alpine based docker image for SigaVPN

Last synced: 12 Apr 2025

https://github.com/rnbguy/manuscript-marauder

Download manuscript using a proxy

Last synced: 28 Jun 2025

https://github.com/rnbguy/wifirst-captive-portal

Wifirst captive portal bypasser

Last synced: 23 Aug 2025

https://github.com/rnbguy/dbcop

Runtime monitoring for transactional consistency

Last synced: 12 Apr 2025

https://github.com/rnbguy/polkadot-sdk-minimal

Last synced: 16 May 2026

https://github.com/rnbguy/svss

Software Verification using SMT solver

Last synced: 12 Apr 2025

https://github.com/rnbguy/atomkraft-json

Last synced: 12 Apr 2025

https://github.com/rnbguy/adventofcode2024

Advent of Code 2024

aoc-2024-in-deno

Last synced: 31 Jul 2025

https://github.com/rnbguy/ibc-cw

IBC light clients in cosmwasm

Last synced: 03 Feb 2026

https://github.com/rnbguy/cosmos-sdk-python

Python GRPC client for Cosmos-SDK

blockchain cosmos-hub cosmos-sdk cosmos-sdk-proto endpoint grpc python

Last synced: 12 Apr 2025

https://github.com/rnbguy/archlinux-yay-docker

Archlinux with yay

Last synced: 15 Feb 2026

https://github.com/rnbguy/ibc-eureka-cw

Last synced: 24 Aug 2025

https://github.com/rnbguy/solidity-contract-explorer

Postman like Solidity contract explorer

Last synced: 27 May 2026

https://github.com/rnbguy/deno-grpc-multi-chunk

Last synced: 01 Jul 2025

https://github.com/rnbguy/cbmc-benchmarks

benchmarks for cbmc

Last synced: 16 Jul 2025

https://github.com/rnbguy/archlinux-sshd-docker

Archlinux docker with sshd

Last synced: 20 Jan 2026

https://github.com/rnbguy/test-gh-pages

Last synced: 20 Jan 2026

https://github.com/rnbguy/rnbguy.github.io

Last synced: 12 Apr 2025

https://github.com/rnbguy/aur-maintainer

Auto AUR package maintainer for Github releases

archlinux aur git github

Last synced: 16 Apr 2026

https://github.com/rnbguy/opensub

Download subtitles from ​OpenSubtitles.org

Last synced: 12 Apr 2025

https://github.com/rnbguy/itf-rs

Last synced: 12 Apr 2025

https://github.com/rnbguy/mdx-docker

Last synced: 12 Apr 2025

https://github.com/rnbguy/mcsv17

Model Checking and System Verification

Last synced: 12 Apr 2025

https://github.com/rnbguy/algosat

academic ventures into algorithms for SAT

Last synced: 11 Jun 2025

https://github.com/rnbguy/thesis2021

thesis of my PhD at Universite de Paris

Last synced: 21 Jan 2026

https://github.com/rnbguy/eran-docker

ERAN solver on Docker

Last synced: 27 Jan 2026

https://github.com/rnbguy/polyglot

Translate text between languages

Last synced: 17 Oct 2025

https://github.com/rnbguy/tla2bdd

Generate BDD scenarios from TLA traces

Last synced: 22 Jan 2026

https://github.com/rnbguy/cbmc-paper

Last synced: 23 Jan 2026

https://github.com/rnbguy/atomkraft-provenance

Atomkraft for Provenance

Last synced: 23 Jan 2026

https://github.com/rnbguy/xboxdrv-config

xboxdrv config files

Last synced: 23 Jan 2026

https://github.com/rnbguy/atomkraft-gitpod

Gitpod workspace for Atomkraft

Last synced: 23 Jan 2026

https://github.com/rnbguy/demo-lz

fungible token transfer between evm

Last synced: 16 Mar 2026

https://github.com/rnbguy/megh

Last synced: 08 Feb 2026

https://github.com/rnbguy/enc-pdf

Last synced: 08 Feb 2026

https://github.com/rnbguy/sape

Tunnel through NATs and firewalls

Last synced: 17 Mar 2026

https://github.com/rnbguy/stwo-cairo-proofs

Stwo proofs of Cairo executables

Last synced: 11 Feb 2026

https://github.com/rnbguy/pages

A minimal static site generator built with Deno

Last synced: 27 Feb 2026

https://github.com/rnbguy/covax

Find COVID 19 vaccine slots in France (via ViteMaDose)

covid rust vaccine-alerts vitemadose

Last synced: 14 Sep 2025

https://github.com/rnbguy/antidotedb_rs

AntidoteDB client for Rust using protobuf

Last synced: 22 Jul 2025