smoynes

computer-science

:mortar_board: Path to a free self-taught education in Computer Science!

yt-dlp

A feature-rich command-line audio/video downloader

cool-retro-term

A good looking terminal emulator which mimics the old cathode display...

awesome-raspberry-pi

📝 A curated list of awesome Raspberry Pi tools, projects, images and resources

xv6-public

xv6 OS

mise

dev tools, env vars, task runner

TinyLlama

The TinyLlama project is an open endeavor to pretrain a 1.1B Llama model on 3 trillion tokens.

xv6-riscv

Xv6 for RISC-V

sqlglot

Python SQL Parser and Transpiler

gritql

GritQL is a query language for searching, linting, and modifying code.

go-rpio

:electric_plug: Raspberry Pi GPIO library for go-lang

awk

One true awk

ostep-homework

Co-dfns

High-performance, Reliable, and Parallel APL

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

pico-uart-bridge

Raspberry Pi Pico UART-USB bridge

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

zx2040

RP2040 ZX Spectrum emulator

lc3tools

A complete overhaul of the LC-3 simulator used in EE 306 at The University of Texas at Austin.

cyw43439

Driver for the Wifi+bluetooth integrated circuit on the pico.

cpmulator

Golang CP/M emulator for zork, Microsoft BASIC, Turbo Pascal, Wordstar, lighthouse-of-doom, etc

lennoxs30

Home Assistant Lennox S40 / S30 / E30 / M30 integration

go-ungrammar

Ungrammar implementation and API in Go

ollama

ollama client for Emacs

EDSAC

FPGA Verilog implementation of 1949 EDSAC Computer with animated tape reader, panel, teleprinter and CRT scope

lc3-rogue

Roguelike tunnel generator in LC3 assembly. (Homework)

pio

Programmable I/O API for RP2040.

elsie

A pedagogical LC-3 emulator

LC3-pipeline

This project contains a pipelined CPU for LC3 instruction written in Verilog HDL.

pico_ledstrip