1588 projects for "gnu/linux" with 2 filters applied:

  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • 1

    SM83 Binutils

    Binutils port for the Sharp SM83 (GameBoy CPU)

    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    TclFltk

    Dynamic Extension for TCL/TK

    Implements a Tcl binding for the Fast Light Tool Kit portable GUI development environment.
    Downloads: 45 This Week
    Last Update:
    See Project
  • 3

    VIDGUI

    A simple, friendly framework for Free Pascal text mode GUI creation.

    A framework for creating Free Pascal text mode GUIs, it aims to be simple and friendly. Not as powerful as Free Vision but much easier to use.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Formake is a generic build system template OR build system from scratch project. Formake provides generic project that builds several executables and libraries. Formake declares to be bloatless, portable, conform to known UNIX standards and be simple in sense of using only standard Shell and Make. Formake is for those power users and developers that know and respect Shell and Make. See wiki for more information.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    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.
    Start Free Trial
  • 5
    TDM-GCC Compiler

    TDM-GCC Compiler

    GCC for 32-bit and 64-bit Windows with a real installer & updater

    TDM-GCC is now hosted on Github at https://jmeubank.github.io/tdm-gcc/. The most recent stable releases from the GCC compiler project, for 32-bit and 64-bit Windows, cleverly disguised with a real installer & updater.
    Leader badge
    Downloads: 722 This Week
    Last Update:
    See Project
  • 6
    m6811dis

    m6811dis

    M6811 Code-Seeking Disassembler

    The M6811 Code-Seeking Disassembler is a command-line tool that lets you enter known starting vectors for a given code image for the 6811 micro. It will disassemble the code and follow through branches to assist in the separation of code and data. Its companion Fuzzy Function Analyzer uses DNA Sequence Alignment Algorithms to locate similar code in multiple binaries, facilitating reverse-engineering. Originally written to analyze code from GM automotive engine controllers, but is...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    Term::ReadLine::Gnu

    Perl extension for the GNU Readline/History Library

    Term::ReadLine::Gnu (TRG) is an implementation of the interface to the GNU Readline/History Library. This module gives you input line editing facility, input history management facility, word completion facility, etc. Visit to http://search.cpan.org/dist/Term-ReadLine-Gnu/ on the CPAN (The Comprehensive Perl Archive Network) site for download, documentation, bug report, etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    In order to assure software performance, software needs to be tested accordingly as early as possible - only weaknesses diagnosed early can be assessed quickly and cheaply. ContiPerf enables performance testing already in early development phases and in an easy-to-learn manner: A developer writes a performance test in form of a JUnit 4 test case and adds performance test execution settings as well as performance requirements in form of Java annotations. When JUnit is invoked by an IDE,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The libbuspirate is a C library to talk with the bus pirate hardware (http://dangerousprototypes.com/docs/Bus_Pirate) in raw, binary scripting mode. The libbuspirate allows to quickly write a short C program to test interfacing with your favorite hardware. The library has mainly be used to interface through SPI with RF transceivers such as CC2500, MRF24J40, Ethernet controller such as ENC28J60, EEPROMs such as 24C02, 24FC1025, LCD display (PCD8544 / Nokia5110), LED display (HT1632), ......
    Downloads: 0 This Week
    Last Update:
    See Project
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    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
  • 10
    Lexical Analyzer Generator Quex

    Lexical Analyzer Generator Quex

    Generator of lexical analyzers in C and C++. Unicode Supported.

    The goal of this project is to provide a generator for lexical analyzers of maximum computational efficiency and maximum range of applications. This includes the support for Unicode (UTF8, UTF16, ...) and a large variety of other encodings directly and via nested converters such as ICU(tm) and IConv. Sophisticated buffer handling allows to operate on plain file streams, on sockets, or manually fed buffer content. 'Ready-to-build' examples explain related concepts and facilitate practical...
    Leader badge
    Downloads: 17 This Week
    Last Update:
    See Project
  • 11
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 12
    StructPie

    StructPie

    A set of C libraries to implement data structures and algorithms

    Struct-Pie (Structures Pie) is a set of C shared libraries to implement data structures and algorithms so that they can be used/integrated easily into C projects. LIFO & FIFO Stack, Binary Search Tree, Priority Queue and a Hash Table are implemented and included in this package. Future releases will have many other data structures. The hash table in this package uses separate chaining to avoid collision. In the "hash_table" directory, the hash table implementation uses linked lists....
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    FastSim consists of: - 'Facile' a highly flexible and expressive processor-architecture specification-language. - A compiler for the specifications which produces high-performance, fast-forwarding simulators.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    CloudTest-Cloud java unit test framework

    CloudTest-Cloud java unit test framework

    A redefined framework with new approach and methodology for unit test

    CloudTest is a redefined unit testing approach and methodology, which can make your testing jobs become much more easy and efficient. It is a pure java lightweight framework integrated test cases management, test data management, assert management, automation regression, performance monitor and test report in one.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Adventure Definition Langage (ADL) - a language used to create text adventures similar to Zork and other Infocom games.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Unified Sessions Manager

    Unified Sessions Manager

    Pioneering Private and Public Cloud Management since 2008

    The UnifiedSessionsManager supports the integrated management of user sessions within Private-Clouds, comprising heterogeneous IT landscapes of various physical and virtual machines, hypervisor management, and virtual user sessions with remote desktops. Extracted documents see https://sourceforge.net/projects/ctys-doc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    TACO is a toolkit for building distributed control systems or any other distributed system. It is based on a C/C++ core. It is based on the client-server model. It supports writing clients and server on Unix+Windows. Clients and servers can be written in
    Downloads: 2 This Week
    Last Update:
    See Project
  • 19
    Fedora Cygwin

    Fedora Cygwin

    Cygwin cross-compiler for Fedora

    This project provides a Cygwin cross-compiler toolchain for current versions of Fedora Linux and RHEL6-compatible distributions, including a large selection of cross-compiled libraries. Also available are the mingw32 packages with static libraries required for building Cygwin's setup.exe installer.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    The ATS PL System

    Unleashing the potentials of types and templates

    The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    crossdjgppv2

    crossdjgppv2

    Cross compiling environment to DJGPP v2

    Win32 hosted tools to cross compile to DJGPP v2 (CWSDPMI) for MS-DOS. The primary reason is to be able to cross compile Allegro 3.12 using GCC 2.7.2.3 & Binutils 2.8.1. Later versions of GCC / Binutils are unable to build Allegro which leads to people either compiling on DOSBox which is incredibly slow, or just giving up all together. So party like it's 1996!
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22

    Extended C Library

    Extended C Library

    Why Is libxc needed? There doesn't exist a library for ANSI C99 for common data containers, such as vectors, trees, etc. There also also doesn't exist a library for common functionality, such as error reporting/logging, string functions, configuration management (reading config files), etc... The programmer working in C doesn't have anything analogous to the Boost C++ library. The extended C library is intended to make some headway into providing this functionality. To ensure...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    oobash

    oobash

    Framework for bash 4

    oo-style framework for bash 4. It provides tools for rapid script development and huge libraries. Written in bash. Source and use...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    ADempiere ERP Business Suite

    ADempiere ERP Business Suite

    A full ERP system - moved to GitHub. See full description for details.

    NOTE: We're moving! See adempiere.net for more info. ADempiere Business Suite is a fully functional ERP/CRM/MFG/SCM/POS system suitable for large enterprise adoption. The software is fully open source and supported by an international community of developers and system experts.
    Downloads: 15 This Week
    Last Update:
    See Project
  • 25
    Regulus is a Prolog-based toolkit for building spoken dialogue systems.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB