Having a pseudocomplement
The main purpose of this paper is to axiomatize the join of the variety DPCSHC of dually pseudocomplemented semi-Heyting algebras generated by chains and the variety generated by D2, the De Morgan expansion of the four element Boolean Heyting algebra.
Format and beautify Java, Python, JavaScript, JSON, HTML and more; adjust indentation, spacing and line breaks.
Trim, join or split recordings, remove silence or noise, and adjust volume, speed, pitch or channels.
Open and edit CSV or Excel sheets, format tabular text, and convert CSV to Excel or SQL.
Write and preview Markdown, render Mermaid diagrams, and convert Markdown, HTML and tables between formats.
Compare passages, count words and keywords, sort or replace lines, and view DOCX text.
Look up Chinese meanings, synonyms and antonyms, or find IPA pronunciations in multiple languages.
Convert between MP3, WAV, FLAC and more, play audio or raw PCM, and inspect or edit audio metadata.
Inspect, compare and validate JSON; test JSONPath expressions, or convert data to CSV, YAML and XML.
Transcribe audio to text, generate speech from text, or record your voice in the browser.
Convert and compress video, trim or join clips, resize frames, and extract audio.
Play local or streaming video, record your screen or camera, and use your camera as an online mirror.
Compress or merge PDFs, split and rearrange pages, convert pages to images, and view or compare documents.
Convert image formats, resize or crop photos, compress files, compare pictures, and extract text with OCR.
Capture and beautify screenshots, turn text into images or GIFs, draw on a whiteboard, and create word clouds or favicons.
Edit SRT or VTT captions with a video preview, shift timing, convert formats, and manage subtitle tracks.
Open ZIP, 7Z, RAR or TAR files, extract selected contents, and create new archives with optional ZIP/7Z passwords.
Encode and decode Base64 or Base32, escape URLs, HTML and Unicode text, and inspect JWT contents.
Convert number bases and values between binary, decimal and hex; turn numbers into words or text into binary.
Work out percentages and fractions, summarize statistics, and calculate grades, discounts or aspect ratios.
Show an online clock, run a countdown or stopwatch, and calculate dates, ages or time-zone differences.
Check your IP and IPv6 connection, inspect HTTP requests or HAR files, and calculate CIDR address ranges.
Convert length, weight, temperature, data storage and other units.
Convert HEX, RGB and HSL values, extract colors from an image, check contrast, or test your display with solid colors.
Generate and scan QR codes or barcodes, including QR codes for links and Wi-Fi networks.
Generate hashes, UUIDs and passwords, test regular expressions, create URL slugs and check file permissions.
Check screen resolution and refresh rate, measure with a screen ruler, test keys, or read from a teleprompter.
2048, Minesweeper, Sudoku, Gomoku, Tank Battle