Fatiha Zaidi / homehttps://www.lri.fr/~zaidi/
formal methods in software development cycle and in particular model-based testing, runtime verification, and parameterized model checking for concurrent and distributed systems.
Clickmazes homehttps://clickmazes.com/
on my own (and others) software engineering skills to help create, prove and solve my mazes. In the late 90s the web, and in particular java, finally provided me with the perfect
click mazes - interactive puzzles and mazes to play on-line for free
GNU SHA-2 Utilities for Old GNU/Linux Systemshttp://tilde.club/~xwindows/temp/2021-11-15/
(C) 1995-2007 Free Software Foundation, Inc. This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published
SoundTracker - Linkshttp://www.soundtracker.org/links.php
form. Related free software for Un*x-like operating systems Cheese Tracker - an Impulse Tracker clone Beast / BSE - Modular audio synthesizer Octal - Modular audio synthesizer Mis
The Evolution of Cybernetics - A Journal by Simon Funkhttps://sifter.org/~simon/journal/
June 10, 2025 Taxing Software Sunday, May 11, 2025 Improved Mortality Model Update (4) Wednesday, May 07, 2025 Improved Mortality Model (12) Sunday, April 27, 2025 Cordyceps Roomb
Adaptec RAID cards are junkhttp://www.nickh.org/warstories/adaptec.html
bundle of hardware and software which is managed on a day-to-day basis by me, but has a company we can fall back on for support when things break. The product was made by a compan
NewsClipper.com ~ Snip and Ship Dynamic News Content to YourWeb Pageshttps://www.newsclipper.com/
INFORMATION SPINNAKER SOFTWARE Spinnaker Software, Inc. , located in Charlottesville, Virginia provides consulting and software development for its flagship product, News Clipper.
News Clipper is an application which allows you to integrate information from around the internet into your own personal web page - in your own personal style. News Clipper's uniq
Postshttps://www.mariosangiorgio.com/post/
Proxmox LXC 2024-07-05 Software I like to self-host 2024-06-07 Homelab, at the right scale with NixOS 2024-02-15 Should I change my homelab approach? 2024-01-11 Next
Linux parancsok, kezdőknekhttp://www.letix.hu/#halozat/
HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\Policies\System Típus: Key DWORD (32-bit) Kulcs : LocalAccountTokenFilterPolicy Érték: 1 e2label /dev/sda1 # sda1 part
Linux parancsok kezdőknek
wayland - KISS Community Wikihttp://kisscommunity.org/wayland/
init/ kernel/ kiss/ software/ storage/ wayland/ website/ XOrg/ Wayland Wayland [0] is a display protocol that aims to be a simpler and modern replacement for the X Window System.
More Lessons from the East | The Brussels Journalhttps://www.brusselsjournal.com//node/3338
fitter or the Chinese software tycoon. But in Japan they are still omnipresent. High quality, discernment of good materials and workmanship, discrimination – that word, again – mi
The Old Computer Roms,Emulators,Manuals and Magazineshttps://www.theoldcomputer.com/
dedicated to preserving software for ageing computer and gaming systems is great with many authorities trying to control the right to actual valuable material across the web. I do
Retro gaming and computing resource for old school gamers. Old computer and console games, roms, emulators, manuals and forum
Find more...