Search Results for "checker"
Sort By:
Showing 7 open source projects for "checker"
View related business solutions-
Paessler - Monitor Your Whole Network in MinutesWaiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
Pure C99 Quadratic Sieve 230-bit minute, RSA-100 factored, easily accessible on Windows and Linux. Hello and welcome at sourceforge.net, i'm your student at Université de Franche-Comté, Mon, 11 Jul 2022. This ~2500 lines Pure C factorization software : - is imediately compatible with Microsoft Windows, Linux (no one dependancy) - is a C99 command line factorizer from 0 to 300 bits (330 bits were factored in the lab) - is built so that you can easily use and test the software -...
-
2
hcfr
Free Video Projector/Monitor Calibration Software
Video Projector/Monitor Calibration Software orginally developed as ColorHCFR. This code base is based off version 2.1 and will aim for a more open development process. The opensource version integrates an ArgyllCMS interface for continued meter support and development. If you feel the program has been of value to you since I started working on it about 3 years ago please consider a contribution via the link below. Thanks! -zoyd https://www.paypal.me/zoyd -
3
The Hspell Project
A free Hebrew spell-checker and morphological analyzer
hspell - Hebrew spellchecker -
4
Tunatch is a binary patch applier, checker, creator and fixer project. Aims to be a platform for Unix systems.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
Hermetica is an educational tool for learning about logic. It functions partly as a proof checker with inline annotations. It will also support python scripting for automated subproofs and calculations. I would especially like help with the artwork.
-
6
This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.
-
7
- Previous
- You're on page 1
- Next
