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.
Glass Z80 assembler project pagehttp://www.grauw.nl/projects/glass/
is free and open source software. If you want to contribute to the project you are very welcome to. Please contact me at any one of the places mentioned in the project information
The Corewar Info Pagehttp://www.corewar.info/evolve.htm
Hills Tournaments Software Evolving Optimizer Community Newsletter Discussion History Sections For Beginners First Steps FAQ Guides Lexicon Benchmarks For Beginners > Ho
Homepage of Redcoders Frenzy, the ongoing corewar tournament. Including Benchmarks, Beginner's Guides, Evolving Warriors and links to corewar related websites.
annotation anchoring granularity from Jon Garfunkel on 2001-04-16 (www-annotation@w3.org from January to June 2001)https://lists.w3.org/Archives/Public/www-annotation/2001JanJun/0024.html
example. The CoopData software I'm working on deploying at my office is going to expect some highly structured anchor documents, such as specifications and functional requirements
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
Microsoft has stopped making Windowshttps://www.devever.net/~hl/windowsbetrayal
be a warning for other software monopolies, actually); they are facing a huge number of Windows 7, Vista and even XP holdouts. This demonstrates essentially Microsoft's inability,
Anleitung für eine Welt ohne Grausamkeit H+-Interview mit David Pearce, von James KentDeutsch von Stefan Meidhttps://www.hedweb.com/transhumanism/deutsch-humanityplus.html
Virtual Reality-Software ein beispielloses Entertainment bieten. Besser-als-reale, „supernomale“ Stimuli sind gewöhnlich aufregender als deren so genannte reale Gegenstücke, und k
Anleitung für eine Welt ohne Grausamkeit
Reviews of the 2011 XYZZY Awardshttp://xyzzyawards.org/reviews/reviews2011.html
the spam) piece of software which can be found in the Apple App Store. I compare this to regular commercial works. I expect more attention to detail inside such a product. Six ; W
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
Pensamos Digital, Inc.http://www.pensamos.com/
Backup (tm) , the software that could save you thousands of dollars in lost data. Automatically protect your customer lists, email, office documents, and other data vital to your
Devil Fish mods for the TB-303https://www.firstpr.com.au/rwi/dfish/
use in digital audio software is Sonic Faction . Their "Evil Fish 303" functions as a plug-in instrument within Ableton Live , with on-screen controls and interfaces to hard
Stefan VanBurenhttps://stefan.vanburen.xyz/
Stefan VanBuren 🎂 I’m a software engineer based in Ipswich, Massachusetts. Get in touch . Elsewhere: GitHub sr.ht home blog TIL colophon now uses
Homepage of stefan.vanburen.xyz
Find more...