QuickCheck inspired property-based testing for OCaml.
- ocaml
- quickcheck
- random
- testing
47,133 repositories indexed
1,753–1,776 of 3,451 · Most stars
QuickCheck inspired property-based testing for OCaml.
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
pganalyze statistics collector for gathering PostgreSQL metrics and log data
A collection of awesome sqlite tools, scripts, books, etc
Firebase Admin .NET SDK
WarcDB: Web crawl data as SQLite databases.
Copygen generates code based on Go types. Generate type-based code to copy values from type to type and fields from struct to struct by default (copier without reflection).
Written by humans. WTX is a collection of different transport implementations and related tools focused primarily on web technologies.
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
Sample implementation and comparison of various approaches to building DDD applications. Useful as a baseline to quickly start a DDD dot net project.
Provides utilities for Postgres database schema versioning. This is being superseded by work done at https://codeberg.org/perseas/perseid.
IanniX is a graphical open-source sequencer, based on Iannis Xenakis works, for digital art. IanniX syncs via Open Sound Control (OSC) events and curves to your real-time environment.
Modular application for database CRUD with Blazor. Uses an in-memory database and features dummy data generation and data pagination.
Accumulo backed time series database
Not actively maintained - Authentication library for Phoenix, and other Plug-based, web applications
Connect, Collect, Build, and Scale with FlowFuse
A color scheme for Xcode based on the WWDC 2016 invitation.
A modern download manager based on NSURLSession to deal with asynchronous downloading, management and persistence of multiple files.
Upload once to create multiple, relative PRs. Productivity-focused git tools with patch revision tracking, rebase detection and more. Uses python and git plumbing commands.
PatternFly Elements. A set of community-created web components based on PatternFly design.
Ecto PostgreSQL database performance insights. Locks, index usage, buffer cache hit ratios, vacuum stats and more.
EFE Styling Toolkit based on Less
Property based Testing for Elixir (based upon PropEr)
OpenCRUD is a GraphQL CRUD API specification for databases