mmkelly

mmkelly's Stars

• 0burak/imperial_hft

  Language:C++58979

• tailscale/tailscale

  The easiest, most secure way to use WireGuard and 2FA.

  Language:Go17.8k1.4k

• capjamesg/knowledge-graph-language

  A query language for exploring knowledge graphs.

  Language:Python1295

• tekknolagi/scrapscript

  A functional, content-addressable programming language.

  Language:Python3016

• amber-lang/amber

  💎 Amber the programming language compiled to bash

  Language:Rust3.7k77

• swedishvegan/complax

  Official compiler and VM for the Lax programming language

  Language:C491

• mibodhi/u-boot-kirkwood

  U-Boot for Kirkwood Devices

  Language:C4521

• renegart/parallella-br

  Create embedded Linux image with Buildroot for Parallella board

  Language:C31

• nezticle/RaspberryPi-BuildRoot

  The objective of this project is to provide an SDK and root file system for the Raspberry Pi that is lightweight and takes full advantage of the hardware available. The resulting image produced is small distro known as Bsquask (linux). The Bsquask SDK provides a GCC 4.6.3 toolchain for building armv6 binaries with the hardfloat ABI, as well as bootloaders, kernel image, rootfs, and development sysroot for the Raspberry Pi.

  Language:C22962

• analogdevicesinc/linux

  Linux kernel variant from Analog Devices; see README.md for details

  Language:C415824

• peterwillcn/parallella-linux

  Linux Kernel forked from ADI (with latest ADI HDMI drivers)

  Language:C1

• parallella/parallella-linux

  Linux Kernel forked from ADI (with latest ADI HDMI drivers)

  Language:C6844

• parallella/parabuntu

  Official Ubuntu distro for Parallella

  Language:C++12343

• wknitter/zynqberryFull

  Language:Tcl7

• kholia/xvc-pico

  Raspberry Pico powered Xilinx Virtual Cable - Xilinx JTAG Cable! This is now quite fast, thanks to tom01h! We also support JTAG + serial terminal over a single cable now. Now with (slow) WiFi support for Pico W!

  Language:C36045

• WiringPi/WiringPi

  The arguably fastest GPIO Library for the Raspberry Pi

  Language:C2.6k1.2k

• parallella/parallella-uboot

  Official U-Boot package for Parallella

  Language:C4122

• Xilinx/u-boot-xlnx

  The official Xilinx u-boot repository

  Language:C586779

• antmicro/parallella-lcd-linux

  Mirror of Linus Torvald's Kernel Tree

  Language:C22

• antmicro/parallella-quickstart

  Language:Python1

• mcknly/breadboard-os

  A firmware platform aimed at quick prototyping, built around FreeRTOS and a feature-packed CLI

  Language:C50419

• nathanrossi/meta-parallella

  Yocto layer to support the Parallella board from Adapteva

  Language:BitBake208

• ronisbr/BaremetalPi.jl

  Julia library to access Raspberry Pi peripherals without requiring external libraries.

  Language:Julia495

• ptitSeb/box86

  Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices

  Language:C3.2k222

• JuliaLang/julia

  The Julia Programming Language

  Language:Julia45.1k5.4k

• juanfont/headscale

  An open source, self-hosted implementation of the Tailscale control server

  Language:Go21.2k1.2k

• gusmanb/logicanalyzer

  24 channel, 100Msps logic analyzer hardware and software

  Language:C#1.7k210

• Botspot/pi-apps

  Raspberry Pi App Store for Open Source Projects

  Language:Shell1.9k205

• cisco/ChezScheme

  Chez Scheme

  Language:Scheme6.9k983

• conorpp/u2f-zero

  U2F USB token optimized for physical security, affordability, and style

  Language:C2.4k199