A new campaign dubbed 'GhostPoster' is hiding JavaScript code in the image logo of malicious Firefox extensions counting more ...
lean-repl-py is a Python application designed to interact with the Lean REPL (Read-Eval-Print Loop). It provides an interface for sending commands to Lean and processing responses, making it easier to ...
It is documented at windowjs.org. Window.js is distributed as a single binary that can be downloaded for Windows and macOS. It can also be built from the sources for Windows, macOS and Linux.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results