mfranc
Prague
Waysettings
a project by dspinella
Project Description
A settings center akin to GNOME/KDE/XFCE settings panel but built for window managers like sway, i3 and hyprland.
SMTGCC
a project by fkastl
Project Description
There's a project experimenting with verifying GCC optimizations using SMT solvers. Currently there is only one person working on this project. Analyzing compilers with SMT solvers seems like a cool new topic to me. Let's see how we could help.
Support verification of digitally signed PDFs in Evince
an idea by mkoutny
PDF format allows inclusion of digital signatures. Unfortunately, Evince can't provide these metadata to the user. There's an upstream bug and actual implementation resides in poppler. The integration is still incomplete though.
Developer documentation of boot process (userspace)
a record by mkoutny
There are many tasks necessary to do since PID 1 is started by kernel before the system can do any useful work. And those tasks ideally run as parallel as possible. Unfortunately, sometimes the dependencies and ordering can get wrong resulting into race conditions or deadlocks. The goal of this project is to document in detail what happens when and explain the dependencies so it could be used as a reference when someone runs into a problem with their boot task.
terraform-provider-feilong
a project by e_bischoff
Project Description
People need to test operating systems and applications on s390 platform.
Assembly Diff Tool for kGraft
a project by joro
This is about writing a tool to find differences in assembly files generated by gcc. The goal is to find the symbols in a program that have changed by a source code patch. This information can then be used to create and/or verify kGraft patches.
A command line image collector tool for my gallery website
a project by AZhou
Project Description
After I start to do photography, I created a website as gallery to show my good photos (<https://gallery.alynx.one/>), I don't want to host such a gallery on my own server because it's only some static images, and GitHub pages is perfect for it. But a easy to use way to submit photos and re-generate the webpage is needed. Currently I write a Telegram bot to do this, it is strange but useful, I don't need to write a whole CMS by hand, just listen to Telegram messages and call the render script.
Looking for projects around:
Nothing at the moment
Activity