Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Repository Index
47,133 repositories indexed
3,385–3,408 of 3,896 · Most stars
WebLogic Honeypot is a low interaction honeypot to detect CVE-2017-10271 in the Oracle WebLogic Server component of Oracle Fusion Middleware. This is a Remote Code Execution vulnerability.
- security
- security-tools
- honeypot
- deception
Javascript GMS2 commandline compilation
Community list of shared micromobility APIs, apps, datasets, research, and software
⚡ JEval helps you to evaluate your JMeter test plan and provides recommendation before you start your performance testing. All contributions welcome 🙏.
- jmeter
- python
- performance
- performance-testing
Common tools for projects
- cross-platform
- pascal-language
- library
- json
Bitcoin dashboard with real-time price data, TradingView chart, order book, market analysis, Twitter/X insights, and halving countdown. Clean, ad-free, responsive design.
- bitcoin
- bitcoin-price
- cryptocurrency
- dashboard
tools.build's missing piece – install, sign and deploy libraries easily and securely like with Leiningen
- clojars
- clojure
- clojurescript
- deployment
Various NLP tools for Ruby
- nlp
- ruby
tools for storage servers
Privacy-first clipboard manager for macOS. Local-only history, snippets, smart paste, and Touch ID protection.
- clipboard
- clipboard-manager
- developer-tools
- macos
The SolTech Xamarin Forms Toolkit is a set of helpful extensions to the Xamarin Forms framework.
HistoClean is a tool for the preprocessing and augmentation of images used in deep learning models. This easy to use application brings together the most popular image processing packages from across the python universe, meaning no more looking at documentation! HistoClean provides real time feedback to augmentations and preprocessing options. This allows users to evaluate their steps before implementation.
- image-processing
- images
- image-analysis
- deep-learning
Native Linux GUI for Claude Code agents. Rust + GTK4. Fast, light, no Electron.
Fuse PM - Package manager for Fusetools
CLI tool to easily get NTRIP caster information
🤔 Review GitHub PRs in Neovim
build tool and package manager for idris,in idris,with free monads
- idris
- free-monads
- package-manager
Surround an "input type=file" element by this Blazor component to making a zone that accepts drag and drops files.
- blazor
- drop
- dragdrop
- dropfile
Clarigen is a developer tool for writing Typescript code that interacts with Clarity smart contracts
🎲 RandomGen for PowerToys Run Generate random data instantly with a single keystroke
- powertoys
- powertoys-run-plugin
- csharp
- datagenerator
Raspberry Pi's CPU and GPU temperature exporter for Prometheus consumption.
- exporter
- monitoring
- prometheus
- raspberry-pi
A tool to enable fuzzing for Spectre vulnerabilities
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi