A collection of formalized statements of conjectures in Lean.

A collection of awesome things regarding the gemini protocol ecosystem.

A Beautiful Gemini Client

A survey of known lower bounds in arithmetic circuits.

Project for learning about OpenSSL.

Prime95 source code from GIMPS to find Mersenne Prime.

The classic DOOM game over htop, the text-based process viewer

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

Generate prime numbers from pictures!

33 Questions

Linux kernel source tree

Diffusion model(SD,Flux,Wan,Qwen Image,Z-Image,...) inference in pure C/C++

A command line tool that recreates the famous data decryption effect seen in the 1992 movie Sneakers.

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

Comparison of different Lemmy Instances

perfect programming language

Chess but no grid

Upload and changes to Python 0.9.1 release (from 1991!) so that it would compile

EAStdC is a package which implements basic library facilities that are similar to those in the standard C library.

Stable diffusion for real-time music generation (web app)

Stable Diffusion web UI

Exercises and solutions to Stanford CS229 Machine Learning in Python

List of Computer Science courses with video lectures.

An easy 1-click way to create beautiful artwork on your PC using AI, with no tech knowledge. Provides a browser UI for generating images from text prompts and images. Just enter your text prompt, a…

Optimized Stable Diffusion modified to run on lower GPU VRAM

Image to prompt with BLIP and CLIP