Showing 433 open source projects for "gnu operating system"

View related business solutions
  • $300 Free Credits for Your Google Cloud Projects Icon
    $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.
    Start Free Trial
  • 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
  • 1
    Whole Platform
    The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
    Leader badge
    Downloads: 45 This Week
    Last Update:
    See Project
  • 2

    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
  • 3

    pltc

    Prolog to C compiler with runtime for DOS, Windows and Raspbian

    Prolog to C compiler with runtime for DOS (with Turbo C), Windows 10 64 bits and Raspbian (Raspberry Pi)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    FCML

    A machine code manipulation library for Intel 64 and IA-32.

    This is a general purpose machine code manipulation library for IA-32 and Intel 64 architectures. The library supports UNIX-like systems as well as Windows and is highly portable. The FCML library is free for commercial and non-commercial use as long as the terms of the LGPL license are met. Currently it supports such features as: - A one-line disassembler - A one-line assembler - An experimental multi-pass load-and-go assembler (Multi line!) - Support for the Intel and AT&T syntax - An...
    Downloads: 2 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
    PCYNLITX

    PCYNLITX

    Pcynlitx is an innovative multi-thread software development platform

    ...Instead, Pcynlitx is a threading library generator and it produces an application specific multi-threading library specialized based on its user needs. The library produced by Pcynlitx acts as an autonomuous thread management system. Pcynlitx has a nice and useful graphical user interface and it is ready to use. Currently, Pcynlitx only works on GNU/ Linux based operating systems. Windows and macOS versions are under development. Project web page: www.pcynlitx.tech Contact: pcynlitx.help@gmail.com The project repository and web site include many comprehensive documents introducing pcynlitx technology. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    Patlac--Xml2cpp is a totally customizable code generator that generates classes (c++ for now) automatically from a xsd schema. Classes are described in google-ctemplate files and a xml options file allow precise definition of projects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    CLIck

    CLIck

    a CLI generator and and SW library

    CLIck allows you to create flat or hierarchical CLI (command line interfaces) in an extremely easy and quick way, supporting very popular features like history with command recalling, context-based auto-completion, tab-based command list, automatic command-line help, special characters, automatic structure builder, and much more. CLIck is written in ANSI C and tested on C and C++ applications on several architectures. It doesn't depend on any external library and uses only a very small...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    SQL-Admin is a tool entirely written in Java. It uses JDBC and swing . Admin offers a SQL-Monitor, Data-Export, Data-Import, dynamic forms, guided Query, DML functions and data selection. It 's code-generator generates OO-Wrapper and SWING-GUI.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    cado

    Template-based code generation language.

    Cado is a mature code generation language that operates on standard templates with embedded macros. It is useful for generating source code and other related content (tests, docs, configuations, etc.), deriving from a common project nomenclature.
    Downloads: 0 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
  • 10
    Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    ColdFrame generates Ada framework code and documentation from UML models. The project has now moved to Github (https://github.com/simonjwright/coldframe). The software is issued under the GPL Version 2 with the following additional permission: As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    A Finite State Machine Editor, written on QT. It allows to draw Finite State Machine with easy GUI and store it in XML file. There are Finite State Machine Compilers to translate this description to source code (technique like QT's UIC uses).
    Downloads: 5 This Week
    Last Update:
    See Project
  • 13

    DTDS

    Data Type Definition System

    DTDS is a system of definition of data types for unification of information exchange with use of different Samond Classes Library functions and for generation of source texts based on the completed data type definition
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    MultiJava adds open classes and multiple dispatch to Java. Open classes let one add new operations to existing objects. Multiple dispatch has many uses; one typical example is to write event handlers for Swing applications while avoiding nested ifs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    An easy-to-use tool, to foster a model driven architecture.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    Confix is a build tool for source code packages, on top of GNU Automake. It inspects the package's source code, tracks inter package dependencies, propagates checks across package boundaries, and finally writes Automake input files for the maintainer.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Please READ THE WIKI HOW TO USE!! Generador de procedimientos almacenados para postgresql. FUE TOMADO DE otro proyecto q estaba abandonado llamado pgp-generator. Me pareció buena la idea y para no dejarlo morir creé este proyecto. Contiene soporte para la creación de insert, delete, update y select, solo debe escribir el nombre de ls funcion, el esquema con la tabla y el esquema destino donde quedarán las funciones. Genera el procedimiento almacenado de la funcion...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Easymotif is a WYSIWYG GUI-builder for Motif, producing standard C-source code. It gives a possibility for graphic lay-out, creating all callbacks and functions. Each Motif-dialog will be displayed on screen as it will appear lateron when running the com
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19

    aidl2

    Another take on Android AIDL tool

    An annotation processor, that generates AIDL proxy/stub from Java interface definition
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Hyacc is an efficient and practical Yacc/Bison-compatible full LR(1)/LALR(1)/LR(0) and partial LR(k) parser generator in ANSI C based on Knuth and Pager's LR(1) algorithms. Generated parser can be used in open-source or commercial software.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21
    adms
    ADMS is a code generator that converts electrical compact device models specified in high-level description language into ready-to-compile c code for the API of spice simulators. Repository migrated to: https://github.com/Qucs/ADMS For checkout do: git clone https://github.com/Qucs/ADMS.git
    Leader badge
    Downloads: 26 This Week
    Last Update:
    See Project
  • 22
    Filler Studio

    Filler Studio

    Filler Studio for any kind of automation for Windows,Linux,Mac.

    ...Print Screen Utility IRCTC Filler Links Screen Record Fillers Key Replacement Utility How to Download And Use Filler Studio? 1. Go to this Link "http://savainfosystems.com/Filler_Docs.aspx" 2. Please give your Name, Email and Mobile number. 4. Click on Download button as Your Operating System. 5. Check Your mail id Download link will sent on it. 6. Click on Download Link to Download software. 7. Enjoy! https://youtu.be/hRmWxDSNSJA https://youtu.be/-95O4T895XI https://youtu.be/s9LVUIy2pOo https://youtu.be/Zcovzmiaj50 https://youtu.be/MWEm_e5xMuE
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23

    autoCode4

    Synthesizing embedded control software from formal specifications

    autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    AutoGen is designed to generate text files containing repetitive text with varied substitutions. Its goal is to simplify the maintenance of programs that contain large amounts of repetitious text, especially when needed in parallel tables.
    Leader badge
    Downloads: 4 This Week
    Last Update:
    See Project
  • 25
    SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures...
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo