smoynes's Stars
ossu/computer-science
🎓 Path to a free self-taught education in Computer Science!
yt-dlp/yt-dlp
A feature-rich command-line audio/video downloader
thibmaek/awesome-raspberry-pi
📝 A curated list of awesome Raspberry Pi tools, projects, images and resources
jdx/mise
dev tools, env vars, task runner
mit-pdos/xv6-public
xv6 OS
jzhang38/TinyLlama
The TinyLlama project is an open endeavor to pretrain a 1.1B Llama model on 3 trillion tokens.
mit-pdos/xv6-riscv
Xv6 for RISC-V
tobymao/sqlglot
Python SQL Parser and Transpiler
getgrit/gritql
GritQL is a query language for searching, linting, and modifying code.
cc65/cc65
cc65 - a freeware C compiler for 6502 based systems
stianeikeland/go-rpio
:electric_plug: Raspberry Pi GPIO library for go-lang
remzi-arpacidusseau/ostep-homework
onetrueawk/awk
One true awk
informalsystems/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Co-dfns/Co-dfns
High-performance, Reliable, and Parallel APL
mcknly/breadboard-os
A firmware platform aimed at quick prototyping, built around FreeRTOS and a feature-packed CLI
Noltari/pico-uart-bridge
Raspberry Pi Pico UART-USB bridge
jackw01/led-control
Advanced WS2812/SK6812 RGB/RGBW LED controller with on-the-fly Python animation programming, web code editor/control interface, 1D, 2D, and 3D display support, and E1.31 sACN support
antirez/zx2040
RP2040 ZX Spectrum emulator
soypat/cyw43439
Driver for the Wifi+bluetooth integrated circuit on the pico.
skx/cpmulator
Golang CP/M emulator for zork, Microsoft BASIC, Turbo Pascal, Wordstar, lighthouse-of-doom, etc
PeteRager/lennoxs30
Home Assistant Lennox S40 / S30 / E30 / M30 integration
mike42/6502-computer
A 65C02-based homebrew computer
zweifisch/ollama
ollama client for Emacs
soypat/seqs
seqs: the hottest, most idiomatic userspace TCP/IP implementation on the internet. lwip in go basically
eliben/go-ungrammar
Ungrammar implementation and API in Go
hrvach/EDSAC
FPGA Verilog implementation of 1949 EDSAC Computer with animated tape reader, panel, teleprinter and CRT scope
tinygo-org/pio
Programmable I/O API for RP2040.
smoynes/elsie
A pedagogical LC-3 emulator
retinaburn/pico_ledstrip