password manager

Madoko is a fast markdown processor for writing professional articles, books, manuals, webpages and presentations, with a focus on simplicity and plain text readability.

With Madoko you can write complex documents completely in markdown and get beautiful PDF and HTML output.

F* is a verification-oriented programming language developed at Microsoft Research, MSR-Inria, and Inria. It follows in the tradition of the ML family of languages in that it is a typed, strict, functional programming language.

Everest is a recursive acronym: It stands for the “Everest VERified End-to-end Secure Transport”. //

Project Everest addresses this problem by constructing a high-performance, standards-compliant, formally verified implementation of components in HTTPS ecosystem, including TLS, the main protocol at the heart of HTTPS, as well as the main underlying cryptographic algorithms such as AES, SHA2 or X25519. //

We aim for our verified components to be drop-in replacements suitable for use in mainstream web browsers, servers, and other popular tools and are actively working with the community at large to improve the ecosystem.

Project Everest is the combination of the following projects. Read below for an easy way to install all these projects together.

• F*, a verification language for effectful programs
• miTLS, reference implementation of the TLS protocol in F*
• KreMLin, a compiler from a subset of F* to C
• HACL, a verified library of cryptographic primitives written in F
• Vale, a domain-specific language for verified cryptographic primitives in assembly
• EverCrypt, a verified crypto provider that combines HACL* and Vale via an agile, multi-platform, self-configuring cryptographic API.

EverCrypt is a formally verified modern cryptographic provider that provides cross-platform support as well as platform-specific optimizations that are automatically enabled if processor support is detected (multiplexing). Furthermore, EverCrypt offers an (agile) API that makes it simple to switch between algorithms (e.g., from SHA2 to SHA3).

EverCrypt is written and verified using the F* programming language, then compiled to a mixture of C (using a dedicated compiler, KreMLin) and assembly.

EverCrypt's formal verification involves using software tools to analyze all possible behaviors of a program and prove mathematically that they comply with the code's specification (i.e., a machine-readable description of the developer's intentions). Unlike software testing, formal verification provides strong guarantees that a program behaves as expected and is free from entire classes of errors.
Portions of EverCrypt are being used in Firefox, the Windows kernel, the Tezos blockchain, and the Wireguard VPN.

Take Command organizes your Windows command prompts
Take Command is a comprehensive interactive GUI and Windows command line toolkit that makes your Windows command prompts easier to use and far more powerful. Take Command includes optional Windows Explorer integration, tabbed console windows, and major enhancements to standard Windows CMD commands such as COPY, DEL, FOR, MOVE, REN, SET, and START And it and adds 200+ new commands, command dialogs, command line syntax coloring, vastly improved command line editing, programmable filename and directory completion, and thousands of other features.

Take Command is also a powerful batch file programming tool, including an integrated IDE with a sophisticated editor and batch debugger. Take Command offers extensions such as DO loops, SWITCH statements, error and exception handling, system monitoring and event triggers, third-party plugins, and 698 built-in variables and functions.

Synchronize Files and Folders
Key features
FreeFileSync is a folder comparison and synchronization software that creates and manages backup copies of all your important files. Instead of copying every file every time, FreeFileSync determines the differences between a source and a target folder and transfers only the minimum amount of data needed. FreeFileSync is Open Source software, available for Windows, macOS, and Linux.

The SMS backup format is a simple XML format, independent of the Android version on the phone, so it can be easily used to transfer messages and calls from one Android phone to another.

ARTA software uses standard and professional PC sound cards and interfaces for audio signal acquisition and generation.

The ARTA program has functions of following measurement systems:

Signal generator of following signals: white noise, pink noise, periodic white noise, periodic pink noise, speech signal, sine, two sine, multitone, triangle, square.
Impulse response measurement system
Single and Dual channel Fourier analyzer>
Spectrum, octave band and THD analyzer
Triggered storage scope

TinyCAD - the free circuit design program
TinyCAD is a an open source program for drawing circuit diagrams which runs under Windows.

This site is for sharing circuit design symbols for TinyCAD.

Creating libraries of circuit symbols in TinyCAD is easy, but time-consuming. If you have some symbols you feel might benefit other TinyCAD users, then why not upload the symbols to this site to allow other users to download them?

Room Acoustics Software

REW is free room acoustics analysis software for measuring and analysing room and loudspeaker responses. The audio measurement and analysis features of REW help you optimise the acoustics of your listening room, studio or home theater and find the best locations for your speakers, subwoofers and listening position. It includes tools for generating audio test signals; measuring SPL and impedance; measuring frequency and impulse responses; measuring distortion; generating phase, group delay and spectral decay plots, waterfalls, spectrograms and energy-time curves; generating real time analyser (RTA) plots; calculating reverberation times; calculating Thiele-Small parameters; determining the frequencies and decay times of modal resonances; displaying equaliser responses and automatically adjusting the settings of parametric equalisers to counter the effects of room modes and adjust responses to match a target curve.

Free Email Archiving Software for Home Users

For home users, emails are also a valuable source of information. A large amount of data and important files is saved in the form of emails. With MailStore Home you can backup all emails in a central archive, even if they are distributed across different computers, programs or mailboxes. You can do this either on your PC or on a USB drive as a "portable" option. This way, you will never lose emails again and can search all of your emails extremely fast. You can still reply to or forward archived emails by opening them with a single mouse click in your standard email program.

A Central Archive for All Emails

• Internet mailboxes such as Gmail or Yahoo! Mail
• Any POP3 and IMAP mailboxes
• Microsoft Outlook 2003, 2007, 2010, 2013, 2016 and 2019
• Windows Mail und Windows Live Mail
• Microsoft Exchange Server 20031, 20071, 2010, 2013, 2016 and 2019 mailboxes
• Microsoft 3652 (Exchange Online)
• Mozilla Thunderbird and SeaMonkey
• PST, EML and other files

Discourse is the 100% open source discussion platform built for the next decade of the Internet. Use it as a:

mailing list
discussion forum
long-form chat room

To learn more about the philosophy and goals of the project, visit discourse.org.

AutoIt v3 is a freeware BASIC-like scripting language designed for automating the Windows GUI and general scripting. It uses a combination of simulated keystrokes, mouse movement and window/control manipulation in order to automate tasks in a way not possible or reliable with other languages (e.g. VBScript and SendKeys). AutoIt is also very small, self-contained and will run on all versions of Windows out-of-the-box with no annoying “runtimes” required!

AutoIt was initially designed for PC “roll out” situations to reliably automate and configure thousands of PCs. Over time it has become a powerful language that supports complex expressions, user functions, loops and everything else that veteran scripters would expect.

Highly customizable, performance driven, home screen replacement for Android.

Photo Viewer

With XnView you can browse, organize, and view your images in numerous ways:

Thumbnail View
FullScreen View
FilmStrip View
SlideShow with FX
Images Compare
etc...

Photo Editor

XnView allows you to process your images with an arsenal of editing tools:

Resize, Rotate, Crop
Lossless Rotate & Crop (jpeg)
Adjust Brightness, Contrast, ...
Auto Levels, Auto Contrast
Modify Colors depth & palette
Apply filters & Effects

Create

In addition to exporting to more than 70 Formats XnView lets you create:

SlideShows
Web Pages
Contact Sheets
Video Thumbnails Gallery
File Listings
Strip of Images

Paint.NET is image and photo editing software for PCs that run Windows. It features an intuitive and innovative user interface with support for layers, unlimited undo, special effects, and a wide variety of useful and powerful tools. An active and growing online community provides friendly help, tutorials, and plugins.
It started development as an undergraduate college senior design project mentored by Microsoft, and is now maintained and developed by Rick Brewster. Originally intended as a free replacement for the Microsoft Paint software that comes with Windows, it has grown into a powerful yet simple image and photo editor tool. It has been compared to other digital photo editing software packages such as Adobe® Photoshop®, Corel® Paint Shop Pro®, Microsoft Photo Editor, and The GIMP.

🗃 The open source self-hosted web archive. Takes browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more... - pirate/ArchiveBox

The world’s fastest framework for building websites

ACDSee Photo Studio Ultimate 2019, ACDSee Photo Studio Professional 2019, ACDSee Photo Studio Standard 2019, ACDSee Photo Editor 10, and SeePlus all come with a full set of features to help you manage, view, edit, create, and share photos and documents. Use this chart to see which product is right for you.