David Girault's repositories

Language:MakefileLicense:NOASSERTIONStargazers:0Issues:1Issues:0

droid48

HP48 emulator for Android

Language:CLicense:GPL-3.0Stargazers:0Issues:1Issues:0
Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:1Issues:0

linux

Kernel source tree for Raspberry Pi Foundation-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://www.raspberrypi.org/forum

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

motion

Motion, a software motion detector. Home page: https://motion-project.github.io/

Language:CStargazers:0Issues:0Issues:0

orbuculum

Cortex M SWO SWV Demux and Postprocess

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Pinout.xyz

Source files for the Raspberry Pi Pinout documentation website.

Language:PythonStargazers:0Issues:1Issues:0

rpi-open-firmware

Open source VPU side bootloader for Raspberry Pi.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rustodon

A Mastodon-compatible, ActivityPub-speaking server in Rust

Language:RustLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

sysbus

ContrĂ´le par script d'une Livebox 2, 3 et 4

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

tsMuxer

tsMuxer is a transport stream muxer for remuxing/muxing elementary streams, EVO/VOB/MPG, MKV/MKA, MP4/MOV, TS, M2TS to TS to M2TS. Supported video codecs H.264/AVC, H.265/HEVC, VC-1, MPEG2. Supported audio codecs AAC, AC3 / E-AC3(DD+), DTS/ DTS-HD.

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

userland

Source code for ARM side libraries for interfacing to Raspberry Pi GPU.

Language:CLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0