QuickCheck inspired property-based testing for OCaml.
- ocaml
- quickcheck
- random
- testing
Repository Index
47,133 repositories indexed
3,097–3,120 of 5,765 · Most stars
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
- genealogy
- software
- web
- database
A curated library of high-quality, professionally crafted prompts for common development tasks. Save time and improve your AI interactions with battle-tested prompt templates. You can install it as an Gemini CLI Extension.
teler-waf is a Go HTTP middleware that protects local web services from OWASP Top 10 threats, known vulnerabilities, malicious actors, botnets, unwanted crawlers, and brute force attacks.
- ids
- teler
- waf
- teler-ids
Interface for HTTP webservers, frameworks and clients
- umbrella
- rack
- elixir-webservers
- elixir
Easy Boost integration in CMake projects
Elm plugin for IntelliJ Platform IDEs
- intellij
- webstorm
- elm
- plugin
V library to develop Artificial Intelligence and High-Performance Scientific Computations
- v
- hacktoberfest
- linear-algebra
- optimization
Developed to power Conveyal's web-based interface for scenario planning and land-use/transport accessibility analysis, R5 is our routing engine for multimodal (transit/bike/walk/car) networks with a particular focus on public transit
Infinite paging controller, scrolling through contents and title bar scrolls with a delay
C Intermediate Language
🐘 A PHP client for interacting with Gotenberg.
An open source, a high-performance hybrid integration platform that allows developers quick integration with any application, data, or system.
- integration
- middleware
- wso2
- esb
AI-powered E2E testing for 10 platforms. 253 MCP tools. Zero config. Works with Claude, Cursor, Windsurf, Copilot. Test Flutter, React Native, iOS, Android, Web, Electron, Tauri, KMP, .NET MAUI — all from natural language.
LittleHorse Server: Business-as-Code Platform for Microservices, Workflows, and Agents
Shift-left API Integration | Auto-fix integration drift before integration. Specmatic turns API specifications into executable contracts, continuously verifying that every change made by AI coding agents and engineers stays true to the desired behaviour. Ship AI-ready APIs 10x faster, from intent to implementation, with Spec-Driven API Development.
- contract-testing
- microservices
- contract-driven-development
- cdd
Neovim plugin for interacting with LLM's and building editor integrated prompts.
A scripting language for .NET Core
- c-sharp
- programming-language
- mond
- scripting
:sunrise: A comprehensive, cutting-edge open-source framework for next-generation Transformers/LLM, with compute-matched benchmarking and a platform for autonomous architecture research.
- auto-research
- benchmark
- deep-learning
- language-models
KtikZ provides a nice user interface for making pictures using TikZ.
An interactive 3D textbook for AP Physics 1 and AP Physics C
Discover internet-wide misconfigurations while drinking coffee
- cybersecurity
- scanner
- golang
- osint
An "Entity Framework"-like interface for MongoDB
A really simple ServiceWorker example, designed to be an interactive introduction to ServiceWorker