221 tools found
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)
Open source identity management
CMS headless Node.js
Chat chiffré et identité vérifiée
GitHub repository: keycloak by keycloak
Menu bar tracker for daily keystrokes, clicks, movement, and scrolling. [![Open-Source Software][OSS Icon]](https://github.com/debugtheworldbot/keyStats) ![Freeware][Freeware Icon]
Automate repetitive tasks with triggers and macros.
App to keep your hands on the keyboard. Move, click, scroll, drag and more with a few strokes.
Keynav is a piece of an on-going experiment to make pointer-driven interfaces easier and faster for users to operate. It lets you move the pointer quickly to most points on the screen with only a few keystrokes.
The best LLM monitoring platform. One format to call 200+ LLMs with 2 lines of code. 10,000 free requests every month and $0 for platform features!
keycdn IP Location Finder
CMS and web application platform. ([Source Code](https://github.com/keystonejs/keystone)) `MIT` `Nodejs`
Key differences of a data scientist vs. data engineer
A free tool that goes through a GitHub repository looking for accidentally-committed passwords, API keys, and sensitive files — the digital equivalent of checking your pockets before publishing.
A fast, free command-line tool that searches GitHub for leaked API keys and then actually tests each one to confirm whether it still works — instead of just flagging text that looks like a key.
A free scanner that catches a mistake almost every web team makes eventually: accidentally leaving a real API key or database password visible in a website's code where anyone can copy it.
Lets a Supabase app check "is this API key allowed to see this row" directly inside the database itself, instead of writing that permission logic separately in application code.
Authorization layer that checks every AI agent action against a policy before it runs, with per-action revocation and a full audit trail.
Conseil municipal de Milton Keynes
Implementing a Key-Value Store
