Search Results for "gnu-efi" - Page 2
Sort By:
1114 projects for "gnu-efi" with 2 filters applied:
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
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...
-
2
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.
-
3
BinaryPHP is a PHP To C++ converter which will convert PHP scripts into C++ equivalents ready to be compiled using any ANSI compiler.
-
4
RDD! USB HID Report Descriptor Decoder
Create C structures from USB HID Report Descriptors
This will read a USB Human Interface Device (HID) report descriptor from the specified input file then attempt to decode it and, optionally, create a C language header file from it. It also does some minimal sanity checks to verify that the report descriptor is valid. The input file can be a binary file or a text file (for example, an existing C header file). If it is a text file, it will concatenate all the printable-hex-like text that it finds on each line (until the first non-hex... -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
X11 Designer
Create basic GUI windows for minimal Linux distros
X11 Designer tool is used to design desktop independent basic GUI windows. A C code template source file is automatically generated after having performed a simple graphical editing. This is a simple way to create applications requiring only Xlib. -
6
MyJIT is a small library allowing to (JIT) compile intermediate language into the machine code and subsequently execute it.
-
7
wCMF
The wCMF web application framework
wCMF is a lightweight MDA approach to application development based on the MVC pattern. It allows to create any kind of PHP webapp, e.g. CRM, CMS from an UML model. It features an object persistence layer, a soap interface and standard views/controllers. This website hosts code and downloads for versions prior to 4.0. For newer versions please visit https://github.com/iherwig/wcmf. -
8
Unified Code Generation
Open-source code generator for Simulink/Stateflow
This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) -... -
9
ProGuard Java Optimizer and Obfuscator
Java class file shrinker, optimizer, obfuscator, and preverifier
ProGuard has moved to Github now: https://github.com/Guardsquare/proguard ProGuard is a free Java class file shrinker, optimizer, obfuscator, and preverifier. It detects and removes unused classes, fields, methods, and attributes. It optimizes bytecode and removes unused instructions. It renames the remaining classes, fields, and methods using short meaningless names. ProGuard is useful for making code more compact and more efficient, on the desktop, on tablets, on smartphones, and on... -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
10
TransferWare is a collection of tools for the Oracle world: the schema version manager TransVersion (tv), the External Procedure Call (epc) toolkit for accessing the outside world from within Oracle PL/SQL and an application Performance Monitor (pm).
-
11
LaTeXDraw
Vector drawing program for LaTeX using PSTricks
LaTeXDraw is a graphical drawing editor for LaTeX. LaTeXDraw can be used to 1) generate PSTricks code; 2) directly create PDF or PS pictures. -
12
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.
-
13
The FSKC is a CASE tool that allows developers to specify all valid and invalid state-event combinations of a finite state machine (FSM) through a simple to use GUI. Functions called from the FSK can be coded and linked to form a complete FSM.
-
14
TMC compiler
Translator from restricted matlab to C
Open-source tool to convert/port/migrate/optimize Octave/MATLAB(R) written projects to C-code. Consists of C-code generator and run-time support library. Support a subset of MATLAB (R) language and an extendable set of in-build functions. Git Repository: https://github.com/csafonov/tinymc -
15
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. -
16
This a republished version of the inxar tool jenesis, because the original library is not available in the internet anymore. It is a Library to generate Java 8 code using a simple to use domain object model.
-
17
FCML
A machine code manipulation library for Intel 64 and IA-32.
...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 instruction renderer - An instruction parser - Instructions represented as generic models - UNIX/GNU/Linux and Windows support - Portable - written entirely in C (no external dependencies) - C++ wrapper - Supported instruction sets: MMX, 3D-Now!, SSE, SSE2, SSE3, SSSE3, SSE4.1, SSE4.2, SSE4A, AVX, AVX2, AES, TBM, BMI1, BMI2, HLE, ADX, CLMUL, RDRAND, RDSEED, FMA, FMA4, LWP, SVM, XOP, VMX, SMX, AVX-512 Source code moved to: https://github.com/swojtasiak/fcml-lib -
18
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.
-
19
Monkey is a scanner and a LR(1) parser generator for object oriented languages. The platform on wich it runs is Java.
-
20
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... -
21
A small library (as headerfile) which extends the C language with OOP like capabilities (object orientation). Project Focus - simple, fast, portable - public data encapsulation - polymorphism - single inheritance
-
22
SableCC is a parser generator which generates object-oriented frameworks for building compilers, interpreters and other text parsers. SableCC keeps a clean separation between machine and user code which leads to a shorter development cycle.
-
23
XGAP - XML Generator of APplications
XGAP is a PHP web application generator
XGAP stands for "Xml - Generador de APlicaciones". The primary goal of XGAP is to assist the programmer in the repetitive and common coding tasks. That's why XGAP concentrates more in specifying an application than in programming it. You program a web application using XGAP by creating a set of XML files that describe it. Those XML files are taken by the generator and the PHP files are created by means of XSLT sheets. XGAP was born in 2003 at the UNICEN University as a tool for... -
24
glint
A tool for finite state machine analysis and synthesis.
glint is a tool facilitating you in development of state-oriented control entities which supposed to be used in very broad areas of programming (e.g. state-oriented network protocols). glint saves you from pondering how your finite state machine should be organized, how many states it should have and what they should mean. You just tell glint how you would like your control entity to operate and glint returns to you the synthesised magic black box which implements the desired... -
25
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.
