Hypothesis
hypothesis.worksA Python property-based testing library that generates inputs to challenge the properties your code should preserve.
A Python property-based testing library that generates inputs to challenge the properties your code should preserve.
Coordinate software-team backlogs, sprints, roadmaps, and delivery progress.
Shared budget projects and settlement plans inside Nextcloud
A Slack- and Teams-connected timesheet assistant for project-based teams.
Build event-driven applications with a cross-platform asynchronous I/O library.
Build reproducible software environments and run packages temporarily with a functional package manager.
Model related parts together and control what leaves the shared CAD document
A PHP framework and component library for web applications, APIs, and command-line tools.
Bring task lists, project views, and team work into one configurable workspace.
An Eclipse-based NXP IDE for importing SDK examples, building firmware and debugging a target board.
Keep reading notes, quotations, analysis, and source details beside the writing they inform.
Compile C, C++, and other supported languages into programs for native and cross-target systems.
Search shell history with command context, and optionally sync it across machines with encryption.
Swiss time tracking and invoicing for European service businesses and freelancers.
A digital whiteboard for building lessons, recording explanations, and collaborating with students.
Pin development tool versions, set project environment variables, and run project tasks from one CLI.
Make interactive art and visual projects for the web with a JavaScript creative-coding library.
A fantasy console with a compact Lua coding environment and built-in sprite, map, sound, and music editors.
Schedule professional projects locally with Gantt charts, critical paths, resources, and cost tracking.
Test Kotlin behavior with specification styles, assertions, and property-based checks.
A desktop HTML and CSS editor that keeps the rendered page and source code in sync.
Generate typed accessors for compact serialized data that applications can read directly from a buffer.
A billable-hours tracker for small service teams, with live timers, manual entries, and client projects.
Configure native-code builds in a separate build directory, then compile and run registered tests.