Links
AddLean enables correct, maintainable, and formally verified code.
Lean is a theorem prover and programming language that enables correct, maintainable, and formally verified code.
Related contents:
Safe Eyes is a Free and Open Source tool for Linux users to reduce and prevent repetitive strain injury (RSI).
KnightOS is a third-party operating system for TI calculators. It provides a passable Unix-like system for calculators. KnightOS is built on top of the KnightOS kernel - this repository is the official userspace. KnightOS runs on the following calculators.
The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics. These cheat sheets were created by various application security professionals who have expertise in specific topics.
A Comark plugin that renders knap templates before parsing. Write Markdown with knap variables, filters and if / for logic, hand it to Comark with your data, and get a regular Comark document out.
Opa is a concise and elegant language for writing distributed web applications.
Network Automation is a cross between the discipline of Network Infrastructure and the discipline of Programming. This list was created to serve as a one-stop shop for information related to Network Automation.
WP-CLI is a set of command-line tools for managing WordPress installations. You can update plugins, set up multisite installs and much more, without using a web browser.
Blogging Simplified. Cross-platform static site generator for blazing fast blogs, documentation sites and more.
Build blogs, documentation sites, showcases and more with ease. Available for Windows, Mac and Linux.
Lightweight Kubernetes. Production ready, easy to install, half the memory, all in a binary less than 100 MB.
The certified Kubernetes distribution built for IoT & Edge computing.
Related contents:
phishing domain scanner.
Domain name permutation engine for detecting homograph phishing attacks, typo squatting, and brand impersonation. See what sort of trouble users can get in trying to type your domain name. Find lookalike domains that adversaries can use to attack you. Can detect typosquatters, phishing attacks, fraud, and brand impersonation. Useful as an additional source of targeted threat intelligence.
Related contents:
The Open-Source AI Visibility & GEO Tracker.
Free and open source. Track how your brand appears inside ChatGPT, Gemini, Perplexity, Claude, and Google AI Overview while using your own accounts, on your own infrastructure.
MedAssist is a simple Node.js application made with love to help my partner manage their daily medications. It makes it easy to keep track of medication inventory and reorder on time by sending reminders. If you're unsure whether a dose was taken, just check the dashboard, and comparing the expected stock with the actual quantity can help confirm. For travel, MedAssist takes away the stress by generating a quick list of all necessary medications for the time you’ll be away.
🛡️ Windows Hello™ style facial authentication for Linux.
Howdy provides Windows Hello™ style authentication for Linux. Use your built-in IR emitters and camera in combination with facial recognition to prove who you are.
Using the central authentication system (PAM), this works everywhere you would otherwise need your password: Login, lock screen, sudo, su, etc.
Related contents:
A series of mixes intended for listening while programming to focus the brain and inspire the mind.
Turn your Last.fm scrobbles into a complete, private dashboard.
A containerized Node.js application that synchronizes scrobbles from Last.fm, stores them in a local SQLite database, and serves a web dashboard.
Aardwolf is a remote JavaScript debugger for iPhone/Android/WindowsPhone7. It is written in JavaScript.
The Volatility Foundation is an independent 501(c) (3) non-profit organization that maintains and promotes The Volatility memory forensics framework.
Dynamically program the kernel for efficient networking, observability, tracing, and security.
eBPF is a revolutionary technology with origins in the Linux kernel that can run sandboxed programs in a privileged context such as the operating system kernel. It is used to safely and efficiently extend the capabilities of the kernel without requiring to change kernel source code or load kernel modules.
Related contents:
A jQuery plugin to add notification bubbles and a notification list to any menu.
The Lightweight Reactive Library.
Minimal reactive state management using only standard JavaScript and HTML - no custom syntax, no build step required.
Visitors is a very fast web log analyzer for Linux, Windows, and other Unix-like operating systems. It takes as input a web server log file, and outputs statistics in form of different reports. The design principles are very different compared to other software of the same type:
Settle your people on fertile land, gather resources and construct your village, as the commander of a Bronze Age civilization in the Near East.
Inspired by the rise and fall of historical civilizations, you must manage the delicate balance between food production and the maintenance of your army, for a decrease in food sources can push even the mightiest of civilizations to collapse.
AI agent skill that researches any topic across Reddit, X, YouTube, HN, Polymarket, and the web - then synthesizes a grounded summary
Nous avons créé BookMe pour les professionnels du service, parce qu’il n’est pas toujours simple de répondre aux appels et que cela vous prend beaucoup de temps. Désormais ce sont vos clients qui réserveront en ligne vos services en fonction de vos disponibilités.
Most web security tools like OWASP ZAP are powerful but complex. A developer without a cybersecurity background struggles to configure them correctly. My goal was to wrap ZAP's API into a simple Python CLI tool that anyone can run with a single command.
Related contents:
The JavaScript Oxidation Compiler.
Oxlint (/oʊ-ɛks-lɪnt/) is a high-performance linter for JavaScript and TypeScript built on the Oxc compiler stack.
PGTune calculate configuration for PostgreSQL based on the maximum performance for a given hardware configuration.
It isn't a silver bullet for the optimization settings of PostgreSQL. Many settings depend not only on the hardware configuration, but also on the size of the database, the number of clients and the complexity of queries. An optimal configuration of the database can only be made given all these parameters are taken into account.
An unfaithful port of Linq to Sql to Typescript.
A type-safe query builder for TypeScript. Queries are expressed as inline arrow functions, parsed into an expression tree, and compiled into SQL for PostgreSQL or SQLite. The API is similar to DotNet's LINQ-based frameworks.
802.11 Attack Tool.
The overall goal of this tool is to provide a single-interface survey capability with advanced automated attacks that result in valid hashlines you can crack with Hashcat.
Deploy Cloud Native Applications inside Confidential Enclaves Protect containers while they are running using confidential computing and hardware-backed isolation.
Confidential Containers is an open source community working to enable cloud native confidential computing by leveraging Trusted Execution Environments to protect containers and data.
Related contents:
Test your CSS Skills.
Enter the CSS selector, which applies to all elements with an arrow ➡️ and press enter or the submit button.
The timer will start once you correctly solved the first puzzle.
Effortlessly run tasks and manage your services on AWS ECS (Elastic Container Service).
RunECS is a cross-platform tool available for macOS, Linux, and Windows.
Open Source Binaries of VSCode. Microsoft’s vscode source code is open source (MIT-licensed), but the product available for download (Visual Studio Code) is licensed under this not-FLOSS license and contains telemetry/tracking.
Turn incoming email into webhooks. A small, self-hosted SMTP server that checks each email against your rules and sends the matches to your webhooks, with a web UI to see what arrived and how each webhook responded.
How an LLM Works, as a City.: A language model laid out as a city, one token at a time.
TokenTown is an isometric city where every district is one stage of a transformer language model. A convoy carries a hidden state along the roads: it is cut into tokens at the docks, cast into a vector at the foundry, stamped with its position, then driven around the layer ring (attention, residual, feed-forward, residual) once per layer, before the stadium turns it into a probability distribution and the sampler picks one token. That token drives back up the feedback highway and the whole city runs again.
Field-tested open source data analytics system used and trusted all around the world. Search your logs, create charts, send reports and be alerted when something happens. All running on the existing JVM in your datacenter.
A Claude skill that turns vibecoded, AI-looking UI into a designed interface
unslop is a skill for Claude Code and Codex that turns vibecoded, AI-looking UI into a designed interface with its own character. It finds the slop first, the purple gradients, glows, emoji labels, shouty copy and uneven spacing, then sets a direction from your product and fixes the screen pass by pass like a designer doing a redline review. It works in whatever your screen is built with, like Next.js, React, Vue, Svelte, Tailwind or plain HTML and CSS, on dashboards, apps and landing pages, and even on a live site when all you have is a link.
Mopidy is an extensible music server written in Python. It plays music from local disk, Spotify, SoundCloud, TuneIn, … Users can edit the playlist from any phone, tablet, or computer using a variety of MPD and web clients.
- Mopidy @ GitHub.
- Mopidy-MPD (Mopidy-MPD @ GitHub) is a Mopidy extension for controlling playback from MPD clients It's a frontend that provides a full MPD server implementation to make Mopidy available from MPD clients.
Swiffy converts Flash SWF files to HTML5, allowing you to reuse Flash content on devices without a Flash player (such as iPhones and iPads). Swiffy can't yet convert DoubleClick Studio creatives.
ESLint Plugin.
Automatically sort and organize objects, imports, types, enums, and JSX props. Ensure a clean and maintainable codebase with minimal effort.
Power Up Your Task Manager. Advanced Task Manager with History.
Historical resource monitoring, powerful controls for managing troublesome apps, and detailed visibility into hidden behavior that impacts your PC’s performance, privacy, and security.
Related contents:
Flat, responsive, lightweight, easy customizable modal window plugin with declarative state notation and hash tracking.
Highly opinionated mocking framework for PHP 5.3+.
Prophecy is a highly opinionated yet very powerful and flexible PHP object mocking framework. Though initially it was created to fulfil phpspec2 needs, it is flexible enough to be used inside any testing framework out there with minimal effort.
Related contents:
Enfin une solution CRM simple et puissante…
Yet another cross-platform graphical process/system monitor.
A customizable cross-platform graphical process/system monitor for the terminal, supporting Linux, macOS, and Windows. Inspired by other tools like gtop, gotop, and htop.
Free fonts have met their match. We know how hard it is to find quality freeware that is licensed for commercial work. We've done the hard work, hand-selecting these typefaces and presenting them in an easy-to-use format. Here are some of our favorites:
A self-contained coding agent.
Ghost in your shell. Ante is a self-contained agent harness with a highly optimized core. It works like Claude Code or Codex, with none of their dependencies or model constraints.
Terminal bandwidth utilization tool.
This is a CLI utility for displaying current network utilization by process, connection and remote IP/hostname
corrosion is a distributed system for propagating SQLite state across a cluster of nodes.
🍦 Never use print() to debug again.
Do you ever use print() or log() to debug your code? Of course you do. IceCream, or ic for short, makes print debugging a little sweeter.
Advanced, production process manager for Node.JS
PM2 is a production process manager for Node.js applications with a built-in load balancer. It allows you to keep applications alive forever, to reload them without downtime and to facilitate common system admin tasks.