Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud
Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
Get a free trial
$300 Free Credits for Your Google Cloud Projects
Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.
Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
Online game for developers. Program your team of 4 ants (in LISP) that can reproduce and gain experience and fight against another players in different game modes(CTF, TDM, DM)!
Flashcard program for Palm Pilot handhelds. Java PC desktop program to edit flash cards and import SuperMemo databases included. Many font types supported including Japanese. Image support also present. Visit home page for sample cards.
VeNCrypt adds TLS/X509 encryption and authentication to VNC. It is heavily based on the RealVNC Free Edition, thus being a single fork away from the original creators of VNC, and is fully compliant with the RFB protocol.
ele (enCore Learning Environment) is a moo- and web-based environment (server, db, GUI) designed for educational purposes. It aids and promotes online learning and community building through open standards and ease of use. http://encore-consortium.org/
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.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
The Lazybones project is a server and a collection of clients. It allows one person to voice control multiple machines. Designed for software developers and sys admins, Lazybones speeds up redundant and/or complex tasks.
The Handwritten project aims to provide software for open distribution of handwritten notes. A rudimentary datastructure containg strokes made by writing devices as for example palm computers, digital pens, etc, is implemented in both Java and C.
Dragon Character Training is a PalmOS program using stroke recognition to help you learn to read and write Chinese characters. It is good for learning Mandarin vocabulary and characters.
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
TCPteach is a special kind of vocabulary trainer software. It works like a multiplayer-game, which means you can play & learn with or against other people over internet/network (even using your mobilephone). There are several additional software parts, w
Netflow analyzing tools :
JXColl - collector for Netflow (or XML specified) data
Analyzer - front-end application for providing an user interface and output (graphs, statistics, etc.)
Software to control a remote telescope via a web interface. Includes software needed to operate a motorized dome, telescope, and cameras.This project has been partially funded by a grant from the Northwest Academic Computing Consortium.
BoardWars is a teaching utility for computer science classes.
It runs as a server supporting multiple turn based board games.
The games are played by supplying the AI code in java or c++.
BoardWars was funded by the University of Iowa
frCoder is a set of tools used to write, test, and simulate software written for the FIRST Robotics Competition (FRC). frCoder also includes basic libraries of common techniques used in the FRC.
BowTIE (Brass Technique Instruction Environment) is an application designed to help trumpet, horn, euphonium, and tuba players learn fingering technique. BowTIE provides excellent support for trumpet and horn players who are learning to transpose.
MimerDesk is a Web-based groupware environment designed for a wide variety of uses such as personal management, computer-supported collaborative learning, carrying out projects, and setting up communities.
The compilerMonitor persists a record of all javac error messages and the sources that caused/fixed the errors. It is a CAUSE (computer-aided usability engineering) tool that analyzes interaction between a developer and the compiler.
Virtual electronic circuit simulation with JAVA based schematic entry and wave viewer, based on (Berkeley) SPICE, for any OS/Server/Browser configuration.
Due to missing public feedback for over one year its status is set to INACTIVE (1/2004) - sorry.
AMoRE is a collection of algorithms that deal with automata, monoids, regular expressions. Learn about the theory - this is not another regexp package.
Surviving bots is continuous software application in Java that will guide robots to search for energy source around it, tap it and explore ahead for survival and thus evolve into much more advance system.Software is ment to be hardware independent.
Linux TiTan is yet another Linux Distribution that is divided into 3 parts , the main system including packages compiled by us , a security system and a desktop environment developed using java . Goal : Security , Speed , Portability