- Browser interface for Issuing, Managing, and Using tokens
- Supporting PKI, OTP, Information Cards, etc.
- VSDs (Virtual Security Domains) enabling independent issuers securely Sharing a token container
- Transaction Based Operation and E2ES (End To End Security) making on-line personalization of tokens Technically as secure and robust as traditional smart card production in a “bunker”
- Unified system for enhanced smart cards and mobile phones with embedded security hardware
- Compatible with an extended version of W3C’s WebCrypto (WebCrypto++)
- Building on Standards like X.509, TLS, HTTP, JSON, NSA Suite B and Brainpool Elliptic Curves
For those who are heavy into authentication technologies, I have compiled a set of links to the most important documents.
The frtime language supports declarative construction of reactive systems in a syntax very similar to that of Racket. It extends racket.
Pollen is a publishing system that helps authors make functional and beautiful digital books.
Gonimo ist ein Babyphon, fΓΌr dessen Benutzung du einfach einen Web-Browser benΓΆtigst.
Ist in Haskell geschrieben und verwendet GHCJS und Reflex-DOM fΓΌr das Frontend.
This tutorial teaches you all you need to know to be able to craft powerful time-saving regular expressions. It starts with the most basic concepts, so that you can follow this tutorial even if you know nothing at all about regular expressions yet.
The tutorial doesn’t stop there. It also explains how a regular expression engine works on the inside, and alert you at the consequences. This helps you to quickly understand why a particular regex does not do what you initially expected. It will save you lots of guesswork and head scratching when you need to write more complex regexes.
Compile-time Language Integrated Queries for Scala
Explained Visually (EV) is an experiment in making hard ideas intuitive inspired the work of Bret Victor’s Explorable Explanations.
A statically typed lisp, without a GC, for high performance applications
Pijul is a free and open source (GPL2) distributed version control system. Its distinctive feature is to be based on a sound theory of patches, which makes it easy to learn and use, and really distributed.
MobileOrg is a companion mobile app that runs on iOS and Android devices. MobileOrg enables offline-views and capture support for an Org mode system that is rooted on a βrealβ computer. MobileOrg can record changes to existing entries.
The spec library specifies the structure of data, validates or destructures it, and can generate data based on the spec. The clojure.spec namespace is included in the Clojure core distribution, so no extra library is required to use it.
Ergonomics is a measure of the friction you experience when trying to get things done with a tool.
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
[A] robust yet easy to use ZFS based replication and failover solution. It can also serve as the conduit to create a simple backup hub.
Just freeware, though, no free software.
Tredly Containers are in essence, scriptable virtual machines. Tredly Containers are configured through the use of a Tredlyfile.
Sort of like a jail-oriented Docker alternative, it seems.
Docker is a popular application containment environment on GNU/Linux that is available on FreeBSD as of June, 2015. Docker on FreeBSD relies heavily on ZFS, jail and the 64bit Linux compatibility layer […]. Docker on FreeBSD is genuine Docker and retrieves containers from the official docker.io repository.
Duplication is far cheaper than the wrong abstraction.
Javaslang is a functional library for Java 8+ that provides persistent data types and functional control structures.
An occasional blog on Greek linguistics (broadly meant). βMaking Greek more googleable (through English).β