New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.
Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
Claim $300 Free
Cut Data Warehouse Costs by 54%
Easily migrate from Snowflake, Redshift, or Databricks with free tools.
BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
The Perl Formal Language Toolkit (FLaT), is a set of compatible Perl modules used for investigating regular expressions and finite automata. It is also a goal to create a toolkit, which may be used to create apps with FAs as underlying data structures..
LIBCTK, The Console ToolKit, allows you to create a sophisticated interface in the console with a GTK cloned API. It uses GPM and a custom rendering layer 'libarr' for screen managment. It has many widgets, window managment, and signaled events.
Secure File Transfer for Windows with Cerberus by Redwood
Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.
Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
The GPTK Project provides a base project using GNU configure, automake, libtool, etc. It can and is used to incubate new projects that desire to use these GNU tools. Basicly unpack the tar, change, run the prep.sh script, and you are ready to work.
cl-pcp is a collection of Common Lisp CFFI bindings for Pango, Cairo, and PixBuf from the GTK+ (Gimp ToolKit) Project. This is meant as a lightweight, general solution for developing graphical/text based applications in Common Lisp.
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected.