Results for “KeY”

NB

NB

LabKey Server

Platform for Translational Research.

Brackeys Forum

Brackeys Forum

Coquette

A micro framework for JavaScript games. Handles collision detection, the game update loop, canvas rendering, and keyboard and mouse input.

Spriter Pro

Modern tool for sprite animation.

Amos Storkey

Amos Storkey

Boston Key Party CTF

Boston Key Party CTF

Aircrack-ng

An 802.11 WEP and WPA-PSK keys cracking program

yamllint

Checks YAML files for syntax validity, key repetition and cosmetic problems such as lines length, trailing spaces, and indentation.

mypy

A static type checker that aims to combine the benefits of duck typing and static typing, frequently used with [MonkeyType](https://github.com/Instagram/MonkeyType).

jMonkeyEngine

Game engine for modern 3D development.

KeY

Formal software development tool that aims to integrate design, implementation, formal specification, and formal verification of object-oriented software as seamlessly as possible. Uses JML for specification and symbolic execution for verification. (GPL-2.0-or-later)

ArcadeDB

Multi-model database supporting graphs, documents, key-value, time series, and vector embeddings with SQL, Cypher, Gremlin, MongoDB, and Redis API compatibility.

upscaledb

An embedded "typed" key/value store with a built-in query interface. [GPLv3]

Infinispan

Highly concurrent key/value datastore used for caching.

Vault

Secures, stores, and tightly controls access to tokens, passwords, certificates, API keys, and other secrets in modern computing.

SmartCapsLock

Makes the Caps Lock key smarter, so that when the key accidentally gets activated and you START YELLING even though you don't want to, you can just select the yelling-text and press the key again to instantly fix its case instead of typing everything all over again.

MailMate

Advanced IMAP email client, featuring extensive keyboard control and Markdown support.

FindA.Photo

search through thousands of CC0 photos by keyword and color.

Key differences of a data scientist vs. data engineer

Key differences of a data scientist vs. data engineer