216,000+ customers in over 135 countries grow their businesses with HubSpot
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
With over 53 social login options, you can fast-track the signup and login experience for users.
From improving customer experience through seamless sign-on to making MFA as easy as a click of a button – your login box must find the right balance between user convenience, privacy and security.
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
QCheckers is a Qt version of the classic boardgame "checkers".
Homepage: https://portnov.github.io/qcheckers
GitHub: https://github.com/portnov/qcheckers
BigQuery is a serverless and cost-effective enterprise data warehouse that works across clouds and scales with your data.
BigQuery Studio provides a single, unified interface for all data practitioners of various coding skills to simplify analytics workflows from data ingestion and preparation to data exploration and visualization to ML model creation and use. It also allows you to use simple SQL to access Vertex AI foundational models directly inside BigQuery for text processing tasks, such as sentiment analysis, entity extraction, and many more without having to deal with specialized models.
NeuroDraughts is a Draughts/Checkers game that teaches itself how to play through self play. It combines an Artificial Neural Network, trained by Temporal Difference Learning using some Genetic Algorithm style behaviour.
Gcboard is a widget for Chess-style games (i.e. Checkers). It provides an easy to use API for creating a nice looking chessboard, which supports several playing styles (clicking, dragging, flashing pieces, etc).
Gnome Chinese Checkers is an networked implementation of the Chinese Checkers board game, supporting upto 6 players. The game includes added goodies like an integrated chat window, player rotation, etc. This has been updated for Gnome 2.0.
Cloud Run is a fully-managed compute platform that lets you run your code in a container directly on top of Google's scalable infrastructure.
Run frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.
This Checkers game features a POV raytraced checkerboard. It has all the things you'd expect: 2-person play, network play and multiple AI levels. The windows version is complete.
PubliCake is an ansi-Ccheckers engine, playing with the English/American rule set. It is designed explicitly as a portable checkers engine, with no interface support.
ABKit is a C++ library intended to accelerate board games development by providing the thinking engine under the Alpha-Beta algorithm.
The application just need to create a few C++ methods to adapt to the actual game (like Chess, Checkers, ...).
ACF is a framework for
writing model-checkers.
ACF is built on the fundamental observation that the structure of most
model-checking algorithms is independent of the formalism used to describe
the system.
Rushed a bit, as this was the final project to code in C and by this point most of us in the class were worn out from the crazy workload thus far. Still fun to get running in C though we had already done it in C++.
... checkers.
- it uses the hardware paging system for immediate error detection (most other memory checkers look for modified memory in no mans land)
- it is very fast compared to other hardware memory checkers because it makes fewer changes to the paging tables
- it can track the original release location when debugging duplicate free problems
- it is designed for large scale integration with the ability to call user defined fail functions