Popular repositories Loading

1. Lean61200J Lean61200J Public

   Lean formalization of MIT's Mathematics for Computer Science course

   Lean 4

2. sm64pc sm64pc Public

   Forked from sm64pc/sm64ex

   OpenGL adaptation of n64decomp/sm64.

   C

3. ffmpeg-audio-thumbnailer ffmpeg-audio-thumbnailer Public

   Forked from saltedcoffii/ffmpeg-audio-thumbnailer

   Minimal thumbnailer for audio files using ffmpeg that can be used by file managers to create thumbnails for audio files

   Makefile

4. flappybird flappybird Public

   Forked from alxyng/flappybird

   A clone of .GEARS' Flappy Bird in just over 1000 lines of C

   C

5. qimgv qimgv Public

   Forked from easymodo/qimgv

   Image viewer. Fast, easy to use. Optional video support.

   C++

6. qterminal qterminal Public

   Forked from lxqt/qterminal

   A lightweight Qt-based terminal emulator

   C++