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.
Try it Free
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime
General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
GobSmack is a GUI framework for the web. It contains a session manager daemon, a CGI frontend written in C, and an AJAX-based JavaScript library to deal with server communication.
This Project Aims To Port Various Open Source Software Onto Stratus Open VOS Architecture. Please Refer The Following URLs For More Information On The Architecture. http://www.stratus.com http://www.openvos.com
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
FriBidi Python bindings:
FriBiDi is a BiDi algorithm implementation for Hebrew and/or Arabic languages.
This package include python module for the FriBidi C library.
Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
Tpl makes it easy to serialize your C data using just a handful of API functions. The data is stored in its native binary form for maximum efficiency. C, Perl and XML supported. Data is portable across CPU types and OS's from Unix to Mac to Windows.
Thank you for your interest in Speedy Composer. Speedy Composer is an automated application for composing melodies for Speedy Net members. We recently made changes to the source code of Speedy Net, and converted it into the Python language and Django framework. Since Speedy Composer was originally written in PHP, it is not adapted to work with Speedy Net in its current form. So unfortunately we were forced to temporarily close the app Speedy Composer. But don't worry, we kept backups of all...
David Ashley's C compiler has now been GPL'd. This includes the full source, some demo programs, along with some minor changes...
ACC builds 32bit exe's using TRAN's PMODE dos extender for MS-DOS.
fontcode is a collection of C libraries and utility programs for manipulating TrueType fonts, developed for use in the Prince formatter and made available under an open-source license.
PKSV (Pokemon Script Viewer/Editor) is a small program written in C used to decompile, edit and compile scripts in Pokemon Advance ROMs. It has a GUI version (the one most of you will want) and the original command-line version.
Squish65 is a 6507 assembly optimizer developed for use with batari Basic in making Atari 2600 games, but also intended to be useful for general 650x DASM assembler programming.
Provides interface for generating stack traces from within a program. Inspired by Java's ability to do a backtrace whenever an error occurs, this provides similar capability in C/C++. Very lightweight and portable, where available builds on execinfo.h.
CISPGE Código de Instrucción Simbólica para uso GEneral - Es un interprete de lenguaje tipo Basic pero en castellano, el objetivo del mismo es didáctico, permitiendo dar los primeros pasos en la construcción de un interprete de lenguaje.
Due to Sourceforge's complying with US law to deny site access of 5 countries (Cuba, Iran, North Korea, Sudan, and Syria), GUP for win32 in SF is no more active. Please check : http://gup-win32.tuxfamily.org for the project current information.
A small command-line tool for converting AtariST images (.neo, .pi1, .pi2, .pi3) to gifs (using gd).
Please note that you may find the project "RECOIL" at SF, which supports far more formats.
Weeno is an software-only extension of Wiring / Arduino for potentially all and any Atmel AVR MCUs. And potentially all chip architectures from all companies, whether Freescale, SiLabs, TI, even ARM. Basically, the goal is to make AVR-Weeno, ARM-Weeno, 8
Avis is a multicast event bus. It provides a fast, publish/subscribe event routing service compatible with the commercial Elvin implementation developed by Mantara Software.