JavaScript in the browser runs many times faster than it did two decades ago. And that happened because the browser vendors spent that time working on intensive performance optimizations.
サムネがかわいいwheeeeee
kalk - A flexible calculator that supports variables and functions defined by the user
Kalk is a calculator that supports user-defined variables, functions, ambiguous syntax, derivation and integration. It runs on Windows, macOS, Linux, Android, and in web browsers (with WebAssembly).
RESTler finds security and reliability bugs through automated fuzzing - Microsoft Research
Microsoft researchers open source the first stateful REST API fuzzing tool designed to make cloud services more reliable and secure. Learn how RESTler automatically tests and finds security bugs through their REST APIs.
名前が紛らわしい!
Learn how Coyote can automatically find and reproduce deep concurrency bugs in your code, helping increase the reliability of your service.
Coyoteちょっと勘違いしてた。テストツールなのね。
This project proposes to definitively solve the problem of a brittle HTTPS ecosystem by constructing a more secure, high performance, standards-compliant, verified implementation of the full HTTPS ecosystem. Unlike other verified software projects, our expedition aims to deploy Everest within existing software as a drop-in replacement in mainstream web browsers, servers, and other popular tools.