Mac
Mac
Windows
Log in / Sign up
Mac
›
Tags
›
block-proof protocol
Featured
Block-proof Protocol
Software
Relevance
Popularity
Rating
WireGuard
free
628
WireGuard LLC
WireGuard is a tiny application that allows connecting through a VPN based on the WireGuard protocol...
on the WireGuard
protocol
. It is quite...including the Noise
protocol
framework, ChaCha20, Curve25519
1Focus
54
Niklas Behrens
1Focus lets you block distracting apps and websites to skyrocket your productivity...
and effective - Lets you
block
apps, e.g...games - Lets you
block
specific
Email Archiver Enterprise
37
Palmer Andersen
Email Archiver Enterprise creates a future-proof, accessible, searchable, archive of all your e...
Archiver Enterprise creates a future-
proof
, accessible, searchable, archive
LunarRover_Mac
15
unity.chilton@mac
Lunar Electric Rover is a proof of concept Lunar Electric Rover simulator, designed by Frassanito and Associates...
Lunar Electric Rover is a
proof
of concept Lunar Electric
RipCord
free
11
ripcordbackup
RipCord is an application that lets the everyday person use the rsync protocol to backup...
use the rsync
protocol
to backup...Rsync? Rsync is a
protocol
used for transferring
BabyProof
11
Little Potato Software
BabyProof makes your machine toddler-proof, while still allowing...
makes your machine toddler-
proof
, while still allowing
BitScope Logic
free
11
BitScope Designs MetaChip Pty. Ltd.
BitScope Logic is a 12 channel mixed signal logic timing and protocol analysis application...
logic timing and
protocol
analysis application...signal serial logic
protocol
analyzer
Gideros Studio
10
GiderosMobile
With Gideros Studio, now it’s possible to build a proof of concept demo of your application...
it’s possible to build a
proof
of concept
Isabelle
free
8
Larry Paulson,Tobias Nipkow,Makarius Wenzel
Isabelle is a generic proof...
is a generic
proof
assistant...HOL/SPARK: interactive
proof
environment for verification conditions
ecoDMS
6
ecoDMS
With ecoDMS you can archive all your documents audit-proof, manage them professionally...
all your documents audit-
proof
, manage them professionally
Movino
free
5
Movino
Movino was developed as a University course project. The implementation...
aim was set at
proof
of concept-level. Each...usable and work as a
proof
of concept
DMD 5620
free
5
Seth Morabito
DMD 5620 is a terminal emulator that allows you to connect to a remote host using...
host using the Telnet
protocol
. To use advanced...to speak the XT
protocol
(for example, AT&T
MQTT Spy
free
5
mightyIT
MQTT Spy is used for testing pub/sub protocol with MQTT...
for testing pub/sub
protocol
with MQTT...sensors with pub/sub
protocol
ContactPage XT
4
Badia Software
ContactPage Pro requires the extension called ContactPage XT to perform certain tasks...
to create picture catalogs,
proof
sheets, photo books
ProtoBufEditor
free
4
Bruce Martin
This project provides an editor for Protocol Buffers Binary format (using a Proto schema)...
Viewing and Editting
Protocol
...Formatted Compare
Protocol
AAP Client
free
3
Aqua Connec
Aqua Accelerated Protocol (AAP) is a proprietary protocol designed to work with Aqua...
Accelerated
Protocol
(AAP) is a proprietary
protocol
designed...hardware. The
protocol
rodin
free
2
ETH Zurih and Others
Rodin is an open tool platform for the cost effective rigorous development of dependable complex...
for refinement and mathematical
proof
. This platform contributes
AcuGraph
2
Miridia Technology Inc.
AcuGraph helps you pinpoint specific issues, choose the most effective treatments, document progress...
acupuncture with objective
proof
. AcuGraph...with objective
proof
and confident communication
miruo
free
1
Masanobu Yasui
miruo is a TCP/IP session monitor (packet capture tool). The Internet protocol...
communications
protocols
...
protocols
: Transmission Control
Protocol
(TCP) and Internet
Protocol
SMTP Client Deux
free
Deep Sky Technologies
SMTP Client Deux is a 4th Dimension component which provides a complete implementation of the SMTP protocol. SMTP Client Deux...
of the SMTP
protocol
. SMTP Client Deux...SMTP
protocol
from within 4D. The
protocol
1
…
8
9
10
11
12
…
20
Tags
Binary Format
Concept Demo
Develop
Editting Protocol
Est MQTT Messaging
Mathematical Proof
MQTT Connection
Proto Schema
Protocol
Protocol Buffers
Featured stories
See all
Block websites on your Mac
Can't keep yourself away from distracting websites that keep messing up your productivity? Make your Mac unable to access those sites while you work.
Apple allows game emulators with outside sources of ROMs
Unlike the earlier moves of this sort, this time it's not a forced decision.
Apple puts a spotlight on work-related Vision Pro use cases
Vision Pro is here to stay. Apple showcases how companies are using the set for purposes other than entertainment.
Life-saving: Apple seeks to patent an anti-drowning feature
Apple Watch was never designed to be just a device telling time. Its maker continues to extend the list of what the watch is capable of.
Apple’s got a patent for ultra-accurate tracking system
Apple knows how to innovate and disrupt, with iPhone being probably the best manifestation of this ability. Now it aims at gesture-based control.
