An industrial-strength functional programming language with an emphasis on expressiveness and safety.

• OCaml @ GitHub.

Related contents:

• Sur le choix d'OCaml @ XVW.LOL :fr:.
• Why I chose OCaml as my primary language @ XVW.LOL.

Building blocks for creating custom desktop shells. Create Beautiful Widgets With Ease

The Linux Suite and Framework to Craft Desktop Shells and beautiful functional Wayland Widgets with GTK!

• Astal @ GitHub.

declarative. reproducible. human-friendly.

Lix is a modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth – and committed to doing right by its community.

• Lix @ Lix Forgejo.

Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.

Incus-based container management with native KDE/Plasma integration. A distrobox-like tool using Incus as the container/VM backend, designed for KDE Linux.

Related contents:

• Episode 656: Why KDE Linux Surprised Us @ Linux Unplugged.

Python character encoding detector.

Related contents:

• Relicensing with AI-assisted rewrite @ Tuan-Anh Tran.

Get PC BIOS back on UEFI only system.

CSMWrap is a cool UEFI application designed to enable legacy BIOS booting on modern UEFI-only systems. It achieves this by leveraging the Compatibility Support Module (CSM) and VESA VBIOS components from the SeaBIOS project, effectively creating a compatibility layer for traditional PC BIOS operation.

Related contents:

• CSMWrap - Un hack qui ressuscite le BIOS legacy sur les PC modernes @ Korben :fr:.

💽 Build Bespoke OS Images

A fancy wrapper around dnf --installroot, apt, pacman and zypper that generates customized disk images with a number of bells and whistles.

• mkosi @ GitHub.

Related contents:

• Episode 656: Why KDE Linux Surprised Us @ Linux Unplugged.

AI-assisted SAST, SCA and Secrets Detection. Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Semgrep is a fast, open-source, static analysis tool that searches code, finds bugs, and enforces secure guardrails and coding standards. Semgrep supports 30+ languages and can run in an IDE, as a pre-commit check, and as part of CI/CD workflows.

• Sempgrep @ GitHub.

Related contents:

• Keeping Secrets Out of Logs @ allan.reyes.sh.
• Blueprinting Security in CI/CD: Building Trust Through Open Source @ CD Foundation.

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. It automates the process of checking Java code to spare humans of this boring (but important) task. This makes it ideal for projects that want to enforce a coding standard.

• Checkstyle @ GitHub.

A high performance implementation of the Ruby programming language, built on GraalVM.

TruffleRuby is the GraalVM high-performance implementation of the Ruby programming language.

• TruffleRuby @ GitHub.

Related contents:

• Matching Regexps 200 Times Faster @ On the Edge of Ruby.

🔎 Static code analysis engine to find security issues in code. Opengrep, a fork of Semgrep, under the LGPL 2.1 license.

Opengrep is an ultra-fast static analysis tool for searching code patterns with the power of semantic grep. Analyze large code bases at the speed of thought with intuitive pattern matching and customizable rules. Find and fix security vulnerabilities, fast – ship more secure code.

Opengrep supports 30+ languages, including:

Apex · Bash · C · C++ · C# · Clojure · Dart · Dockerfile · Elixir · HTML · Go · Java · JavaScript · JSX · JSON · Julia · Jsonnet · Kotlin · Lisp · Lua · OCaml · PHP · Python · R · Ruby · Rust · Scala · Scheme · Solidity · Swift · Terraform · TypeScript · TSX · YAML · XML · Generic (ERB, Jinja, etc.)

• Opengrep @ GitHub.
• Opengrep Rules @ GitHub.

A pure PHP library for reading and writing spreadsheet files

All your E-mail, from all your accounts, in one place

Cypht (pronounced "sift") is like a news reader, but for E-mail. Cypht does not replace your existing accounts - it combines them into one. And it's also a news reader.

Cypht: Lightweight Open Source webmail aggregator [PHP, JS]. Supports IMAP/SMTP, JMAP and EWS (Exchange Web Services)

• Cypht @ GitHub.

Cockpit is an interactive server admin interface. It is easy to use and very lightweight. Cockpit interacts directly with the operating system from a real Linux session in a browser.

• Cockpit @ GitHub

Pygame is a set of Python modules designed for writing games. It is written on top of the excellent SDL library. This allows you to create fully featured games and multimedia programs in the python language. Pygame is highly portable and runs on nearly every platform and operating system.

• Pygame @ GitHub.

Related contents:

• What I learned designing a (barebones) UI engine @ made by mohammed.

p5.js is a friendly tool for learning to code and make art. It is a free and open-source JavaScript library built by an inclusive, nurturing community. p5.js welcomes artists, designers, beginners, educators, and anyone else!

p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Processing.

• p5.js @ GitHub.

Related contents:

• p5.brush.js (p5.brush.js @ GitHub).