University student vibe-codes an entire operating system from scratch

VibeOS was produced by a computer engineering student using the latest version of Anthropic’s Claude large language model.
How-To Geek on MSN

This tool turns any Git repo into a private, offline 'GitHub' website

Build pgit once, then generate a browsable, syntax-highlighted “Code” view for any repo you can host locally or anywhere, ...
Make Tech Easier

Fresh Adds an Easy-to-use and Powerful Text Editor to the Linux Terminal

Fresh is an easy-to-use and poweful text editor for the terminal. It takes many things we love about modern graphical editors ...
GitHub

Formal Verification with VC Formal

This project is licensed under the GNU General Public License v3.0 (GPL-3.0). You are free to use, study, modify, and distribute this software under the terms of the GPL-3.0 license. Any derivative ...