New customers can spin up VMs, build with AI, and query data at no cost.
Put 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.
Start Free
Demo Series - Small Business Backup By Veeam
Learn how to protect your Microsoft 365 data, with simple, actionable tips today.
Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
This repository is not updated anymore. The project name has changed to Picobat and is now hosted at https://github.com/darkbatcher/picobat
Dos9 is a free, cross-platform, command prompt directly inspired from cmd.exe, the windows command prompt. Dos9 aims to be as compatible as possible with cmd.exe, but it also aims to eases batch by providing a large set of commands.
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms.
CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini 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.
LPIA is an interpreted symbolic functional language with multi-process
capabilities and predefined pattern matching. It is inspired by combinatory
logic, lambda calculus, Scheme and Forth.
LPIA est un langage symbolique fonctionnel interprété avec des possibilités multi-processus et un filtrage prédéfini. Il est inspiré par la logique combinatoire, le lambda calcul, Scheme et Forth.
URBI: Universal Robotic Body Interface. URBI is a scripted command language used to control robots (AIBO, pioneer,...). It is a robot-independant API based on a client/server architecture. Liburbi C++/Java/Matlab are available here. Forum available at ht
Xbvl is the Lisp dialect used at University Paris 8
Its main features are :
* Automatic optimizations of Lisp code
* Possibility to add additional activities to Lisp functions, instructions and variables. These activities don't affect the p
Full XML application server designed to build high performance applications based on XML technologies in no time. Runs on Win32 and Unixes and includes database features (Oracle, MS SQLServer, PostGreSQL, MySQL), javascript, XSLT , cryptography, ...
"Le Winny" is meant to be translating some plain text information (given a simple syntax called "Le Winny Syntax") to a W3C-valid HTML code. The first implementation is in PHP tested under Linux and Windows XP. Further port will be made in Java and C
Ironseed is a crossplatform binary version-compatible programming language,
an answer to Microsoft COM technology which also does not have such
limitations.
C est un projet visant a faire un moteur de resolution de contrainte utilisant le langage Score FD/I.
Projet de promotion de maitrise a l universite de bourgogne par dix etudiants.
Adapt is data conversion language developped in 1984 by Norman W. Molhant and Christophe Dupriez. It has been used in many circumstances, it translated itself in many programming environment and it should evolve now toward modern environments like Java.