jcbastosportela Goto Github PK

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

cmake-modules

Additional CMake functionality. Most of the modules are from Ryan Pavlik (https://github.com/rpavlik/cmake-modules)

contiki

George's development repo for the Contiki embedded operating system for the Internet of Things. This repo will only ever host development branches. master will always mirror master on https://github.com/contiki-os/contiki

fcrackzip

fcrackzip - Fast zip password cracker

first-contributions

🚀✨ Help beginners to contribute to open source projects

googletest

GoogleTest - Google Testing and Mocking Framework

huionscreenselector

Linux system tray app for select the target display for Huion tablets

knxd

kodi_change_vpn

My personal script for allowing me to switch OpenVPN location

kodi_file_syncer

serice that runs in the background for syncing files from remote locations

logioptspp

Smooth scrolling enabler for Logitech mice.

opcua-asyncio

OPC UA library for python > 3.6 asyncio

openframeworks

openFrameworks is a community-developed cross platform toolkit for creative coding in C++.

policies

pyipcamviewer

dumb ip camera viewer

pyknyx

Python KNX Framework

pytracemonitor

A python version of Weinzierl's TraceMonitor (KNX development)

quickstart-android

Firebase Quickstart Samples for Android

radiopi

Yet another raspberry pi project for listening radios and youtube musics.

radiopiremote

The Android remote control for the radioPi

service.subtitles.opensubtitles

service.subtitles.opensubtitles

translate_subs

The package translatepy packed for Kodi plus a few extras to perform automatic translation of subtitles

vscode-remotelogserver

Visual Studio Code extension that accepts log data on a socket so you see the log in realtime in a document without touching the disk