Showing 2310 open source projects for "linux-abi"

View related business solutions
  • 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
  • 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
  • 1
    Community Z Tools

    Community Z Tools

    Tool support for the Z formal notation

    Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt
    Leader badge
    Downloads: 5 This Week
    Last Update:
    See Project
  • 2
    umple

    umple

    The Umple Model-Oriented Programming Technology

    Umple is technology for Model-Oriented Programming. It adds abstractions such as UML associations, attributes, and state machines to object-oriented programming languages such as Java, C++, PHP and Ruby. A developer can use Umple in one of several ways. They can start with a pure model, containing only classes, associations, attributes and state machines, and then gradually add methods in one of the base languages to the Umple code base. Alternatively a developer can start with a normal...
    Downloads: 8 This Week
    Last Update:
    See Project
  • 3

    COBOL copybook to XML converter

    Converts cobol copybooks to Xml/Java objects

    CB2XML (CopyBook to XML) is a COBOL CopyBook to XML converter written in Java and based on the SableCC parser generator. This project includes utilities to convert an XML instance file into its COBOL copybook equivalent string buffer and vice versa. Source is now available in GitHub: https://github.com/bmTas/cb2xml
    Leader badge
    Downloads: 7 This Week
    Last Update:
    See Project
  • 4
    avr-gfortran

    avr-gfortran

    Program avr microcontroller using fortran77 syntax

    ...As of version 1.0.2 (2026), the compiler introduces near-comprehensive native compatibility with Fortran 77 syntax. For Windows version (64bit), click https://sourceforge.net/projects/avr-gfortran/files/avr-gfortran-2026/avr-gfortran-win.zip/download Linux version (64bit), click https://sourceforge.net/projects/avr-gfortran/files/avr-gfortran-2026/avr-gfortran-linux.tar.gz/download User guide, click https://sourceforge.net/projects/avr-gfortran/files/user_guide-2026.pdf/download Example Code for Learning and Testing the Compiler, click https://sourceforge.net/projects/avr-gfortran/files/example%20code/example_code.zip/download If you find any bugs, or need some features, or just want to say "hello", just post any comment ;-) (as your comment may trigger me to release updated version)
    Downloads: 6 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 5
    LoopTroop

    LoopTroop

    Free, open-source local GUI orchestrator for AI coding.

    LoopTroop is a local-first, open-source GUI app for running complex AI coding tickets from start to finish across multiple projects. Instead of one long chat that suffers context rot, an LLM Council plans the work, atomic Beads run in isolated git worktrees, and Ralph Loops retry failed steps with fresh context. The result is a transparent, auditable workflow from ticket to reviewable PR, with logs and artifacts visible in one pane.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 6
    odaba

    odaba

    ODABA is an terminology-oriented database management system and develo

    ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link technology support rapid development of GUI applications. Several development, documentation, test and analyzing tools are provided in order to support developers and administrators. .NET interface and a...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 7
    jPicEdt

    jPicEdt

    Another drawing editor for LaTeX with PSTricks & TikZ

    jPicEdt is an extensible internationalized vector-based drawing editor for LaTeX and related packages (TikZ, PsTricks,...), written in Java. It is also a library of reusable high-level graphic primitives.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 8
    jsc
    JSC allows developers to think in C# while targeting JavaScript, Java, Actionscript and PHP. If you want to create a Flash or WebGL powered game in C# JSC is what you need. If you want to create a single page web application JSC is what you need! JSC also integrates with NuGet which allows to create packages. Contact us at: info@jsc-solutions.net
    Downloads: 3 This Week
    Last Update:
    See Project
  • 9
    DMF: Distributed Multiplatform Framework

    DMF: Distributed Multiplatform Framework

    Development framework including code generator and UML ex/import

    A component based programming framework. This project is aimed to support various target frameworks. A wxWidgets based GUI application is the major sample which also provides rapid database GUI design with UML import and export (db reverse engineering).
    Leader badge
    Downloads: 4 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 10
    RE/flex lexical analyzer generator

    RE/flex lexical analyzer generator

    The regex-centric, fast lexical analyzer generator for C++

    A C++ high-performance regex library and Flex-compatible lexical analyzer generator with full Unicode support, new indentation anchors, lazy quantifiers, and many other modern features. Accepts Flex lexer specification syntax and is compatible with Bison/Yacc parsers. Generates reusable source code that is easy to understand. Supports fast scanning of UTF-8/16/32 files, strings, and streams. The reflex scanner generator generates clean C++ lexer class code that is thread-safe. Generates...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 11
    TFEL/MFront

    TFEL/MFront

    TFEL/MFront introduces DSLs based on C++ to handle material knowledge

    The TFEL library is a collaborative effort of the French Atomic Commission and Électricité de France. TFEL mostly includes the MFront code generator. MFront is based on C++ and provides several domain specific languages which were designed to simplify the implementations of new material properties, mechanical behaviours and simple material models. A particular focus was made on mechanical behaviours which are by essence more complex and may have significant impact on the numerical...
    Leader badge
    Downloads: 3 This Week
    Last Update:
    See Project
  • 12
    Binary to Header

    Binary to Header

    Converter for binary files to C/C++ headers

    bin2header takes any file as an argument and converts its binary data into a source header file for use in C/C++ applications. The data is stored as a character array.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    ORBit-Ada

    ORBit-Ada

    Ada binding for GNOME ORBit CORBA ORB

    ORBit-Ada furnishes an Ada binding to the ORBit Corba ORB. ORBit-Ada is Free Software (OpenSource), copyrighted under the GPL and GMGPL.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 14
    C3PO is a software synthesis tool that provides a solution for building maintainable, reliable and robust software infrastructures and/or compiler frontends from a set of attributed grammar rules in EBNF notation.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15

    pyexpander

    A powerful macro processor based on python

    Pyexpander is a powerful macro processor based on python. Instead of simple macro replacement it offers evaluation of arbitrary python expressions and execution of python code. Pyexpander is Turing Complete.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 16
    Eli is a programming environment that supports all phases of translator construction with extensive libraries implementing common tasks, yet handling arbitrary special cases. Output is the C subset of C++. Please use eli-project-users list for suppor
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17

    phpMariaEdit

    Continuation of phpMyEdit

    phpMyEdit development was stopped several years ago at version 5.7.1, with no support for newer MySQL or MariaDB, no support for newer PHP, and a lot of open TODOs. This kind of software still has a lot of use today but it needed an update to support the current technologies. As the original repository is frozen, new works have started in this repository. Version 5.7.2 supports PHP 7.x., uses mysqli_ and is for the rest very close to 5.7.1. Version 5.7.3 is a bugfix release with a lot...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    vb2py is developing a VB to Python tool for automatically converting VB projects to Python, including both the code and GUI elements. The project is currently focussing on the PythonCard GUI system on the Python side
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    Formitable is a PHP class which can output HTML forms from MySQL database tables. The table is analyzed in order to output a form which uses the best input type for each field. The forms are customizable and data is inserted into the table on submission.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20
    MoonLang is a lightweight static programming language built with C++ and LLVM, featuring dual syntax styles (`: end` and `{ }`). Supports Windows, Linux, macOS and embedded platforms (ARM/RISC-V/ESP32), compiles to only 15KB-300KB, build full-stack applications from MCU to desktop.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Top-down parser that can parse parentheses and braces and quotes but let's the rest to you. See documentation in Files/doc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    bidji

    bidji

    data transformation and code generation

    Bidji project is a set of tools for: - data transformation - code generation (which uses data transformation)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Java Modeling Language (JML)
    This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    code-creation-kit

    code-creation-kit

    The kit can be used as code generator for any programming language.

    code-creation-kit has moved to https://github.com/squeakycode/code-creation-kit
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo