Search Results for "gnu operating system" - Page 2
Sort By:
Showing 433 open source projects for "gnu operating system"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch 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.
-
Our Free Plans just got better! | Auth0You 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.
-
1
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.
-
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. -
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) -
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... -
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop 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.
-
5
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. ... -
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.
-
7
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... -
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.
-
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. -
MongoDB Atlas runs apps anywhereMongoDB 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.
-
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.
-
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...
-
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).
-
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 -
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.
-
15
-
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.
-
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...
-
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
-
19
aidl2
Another take on Android AIDL tool
An annotation processor, that generates AIDL proxy/stub from Java interface definition -
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.
-
21
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
-
22
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 -
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... -
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.
-
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...
