Framework Laptop 16 Input Module SW/FW

Cross-Platform SDR Software

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

A minimal TLS 1.2 client implementation in a pure Bash script

🚀 TypeScript compiler on top of TypeScript as frontend and LLVM as backend

Compile javascript to LLVM IR, x86 assembly and self interpreting

Containers for building the Linux kernel or other software with many different compilers

A Web Browser with a Formally Verified Kernel

Cross-platform Rust rewrite of the GNU coreutils

Jargon from the functional programming world in simple terms!

Grok open release

The Open Source Dev Environment Manager.

🕳 bore is a simple CLI tool for making tunnels to localhost

List of ngrok/Cloudflare Tunnel alternatives and other tunneling software and services. Focus on self-hosting.

Bluetooth python cat printer

Dex to Java decompiler

Assembly super-optimization via constraint solving

An experimental Rust native UI framework

A data-first Rust-native UI design toolkit.

Fast and multi-platform Spotify client with native GUI

Smart home app designed in flutter

A collection of learning resources for curious software engineers

This repository contains the exercises for "The Self-Taught Programmer: The Definitive Guide to Programming Professionally."

Library implementing a ZigBee stack

A USB-PD sniffer/injector/sink based on Google's Twinkie, re-designed to be manufactured by mere mortals.

A tool for sniffing PPPoE username/password for any brand of router

VS Code in the browser

Self-hosted GitHub Codespaces using your own hypervisor and the VS Code Server.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.