Try to model check gfp_flags with cbmc

a project by vbabka

Paul McKenney's blog article inspired me to try apply his approach to kernel's memory allocation flags (gfp_flags) and how their combinations affect the decisions and actions taken during page allocation. Recent upstream development around these flags leads me to believe that the complexity is too high for me to reason about them and change the code without unintended changes in semantics. So it might be worth to let the computer do the hard work.

Updated almost 7 years ago. 2 hacker ♥️.

Docker registry UI in Go and ReactJS

a project by tboerger

I would like to continue to work on a web UI for the Docker registry. I know we already got Portus which is based on Ruby on Rails, but I would prefer a project based on Golang with a singlepage application for the frontend based on RactJS. So because of the singlepage application we are forced to write proper APIs that gets consumed by the javascript application, beside that I also want to add a CLI client for managing the system.

Updated almost 9 years ago. No love.

GoldenDict popup flag

an invention by xiaoguang_wang

When GoldenDict enable scan popup functionality, if you want GoldenDict to show popup window, you need to select word by mouse and at same time press ALT or CTRL key. You can't show popup window only by mouse when needed.

Updated almost 7 years ago. 1 hackers ♥️.

Get up to speed and experiment with new front-end web techs

a project by richardcox

A week of learning, improving and playing with some of the relatively new front-end stacks and patterns.

Updated almost 5 years ago. No love.

Terraform plugin for SCC

a project by ikapelyukhin

After playing around with Terraform, a wild idea appeared to write a plugin for SCC.

Updated over 7 years ago. No love.

Program FPGA using Verilog and VHDL

a project by aschnell

Learn to program a FPGA using Verilog and VHDL

Updated almost 5 years ago. 3 hacker ♥️. 1 follower.

OIDC Loginproxy

a project by toe

Description

Reverse proxies can be a useful option to separate authentication logic from application logic. SUSE and openSUSE use "loginproxies" as an authentication layer in front of several services.

Updated about 1 year ago. 1 hackers ♥️. 1 follower.

Implement a GTD-like productivity solution using emacs org-mode

a project by gniebler

Description

Updated 3 months ago. 1 hackers ♥️. 2 followers.

Continue working on zypper-rs

a project by zbenjamin

Description

Continue with my zypper-rs experiment, a zypper implementation in Rust.

Updated 2 months ago. 1 hackers ♥️. 1 follower.

Help Ansel: Fork of Darktable, the open source photography workflow application and raw developer

a project by AZhou

Project Description

Updated almost 3 years ago. 3 hacker ♥️. 2 followers.