Search Results for "gnu-efi" - Page 26
Sort By:
Showing 3310 open source projects for "gnu-efi"
View related business solutions-
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.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
1
Board Game Language (BGL, pronounced "bagel") is a natural language syntax programming language for first-time programmers. It uses board games as a metaphor for programming concepts, with the goal of teaching users the foundations of programming.
-
2
Euclide is a dynamic geometry application written in Java. It allows creation of geometric shapes (lines, points, circles, conics...) and transforms (rotation, symmetry...), which depend each other. Moving a shape will also move shapes dependent on it.
-
3
javaGeom
A geometry library for Java
A java library for geometry applications. Provides a general framework for manipulating and creating geometric primitives, computing intersection points between shapes, composing them to create new shapes, and performing some measurements. Important note: the repository has now moved to GitHub: https://github.com/dlegland/javaGeom Please update bookmarks! -
4
Urban is a software capable of procedurally creating 3d urban environments. It's based on a multi-agent system where each agent is responsible for one type of urban object. This means the system is highly modular and can easily be extended.
-
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
5
TrafficModeller is an open-source, graphical user interface (GUI) tool for the rapid high-level modeling and generation of vehicular traffic. TrafficModeler supports a variety of traffic definition models representing a wide range of traffic patterns
-
6
ALLToolKit
Android Java Library for Hardware Management
This Android Library manages SPI, I2C, GPIO, ADC, UART and PWM in an Embeded System running Android.This library allows you to write Android applications that can use all hardware available in the system. -
7
Docear
An Academic Literature Suite
Docear (pronounced dog-ear) is what we call an “academic literature suite”. It integrates everything you need to search, organize and create academic literature in a single application: a digital library, reference manager, PDF and file manager, note taking and mind mapping. And the best: Docear works seemlessly with many existing tools like Mendeley, Microsoft Word, and Foxit Reader. Docear is free and open source, based on Freeplane, funded by the German Federal Ministry of Technology... -
8
x2fasta
Tools for reformatting common sequence formats into fasta
A collection of tools to transform common biosequence formats (e.g. EMBL, SWISS-PROT, UniProtKB, GenBank and RefSeq) into the fasta sequence format. -
9
FSA is a probabilistic multiple sequence alignment algorithm which uses a "distance-based" approach to aligning homologous protein, RNA or DNA sequences.
-
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
NLFormatter
Tool to format NetLogo code
***** Discontinued (may still work but will not be updated and supported anymore) ***** This formats NetLogo code that every block of code is written in a separate line. This makes the code clearer and is a pre-work for a Pseudo-Debugger running the model line-by-line. This work is in development status. -
11
Impact is an explicit Finite Element Program Suite which simulates dynamic impact events. It has a range of elements, contact handling and different material laws. Models can be created, solved and analyzed with the included pre- and postprocessor. Impact is based on an Explicit Time stepping algorithm. These kind of codes are used to simulate dynamic phenomena such as car crashes and similar, usually involving large deformations.
-
12
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,... -
13
coalescent
Software tool for Research in Computational Population Genetics
Development of exact and approximate methods (Importance Sampling and MCMC based) for computing likelihoods under the standard population genetic models of mutation,migration & recombination. Project issues are mainatined at https://freecode4susant.atlassian.net/browse/COALESCENT -
14
PlaTypUS
Plasmodium Typing Utility Software
The goal of PlaTypUS is to establish a unified Plasmodium whole genome analysis tool, that aligns short read sequences in an agreed upon manner, with many quality control steps, and calls both SNVs and CNVs in a community agreed standard way. We also seek to provide this analysis in a stand-alone graphic user interface so that labs around the world can analyze their own whole genome sequencing data, rather than relying on outside institutes. -
15
-
16
PHDL
An HDL alternative to PCB graphical schematic capture tools.
PHDL is an HDL that functions as an alternative to mainstream graphical schematic capture tools. The language is compiled into a pcb netlist which can then be imported into a layout tool. We are currently on version 2.1 of the tool. We have created an eclipse plugin version of the tool as well as a standalone command-line based version. Both function identically and output a netlist that can be imported into a pcb layout tool. VHDL revolutionized how FPGA designs and digital logic... -
17
HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.
-
18
An integrated set of functions that automate many navigational and tidal calculations which can be time consuming and error prone if performed manually. It can be linked to a GPS to automatically receive position fixes and other information.
-
19
OPEN GENERAL SCIENTIFIC INTERFACES homepage : http://www.opengsi.org
-
20
Computing with units
Calculator that takes care of measurement units.
Java program for computations with values expressed in terms of physical or other units. Supports complicated mathematical expressions and user-defined functions. Invoked from scripts, line command, or as GUI. Extensive units data base. -
21
Object-oriented simulation-ready database simultaneously supports Java and C# APIs. Fully-transactional. Uses time-stamps and user ID to track all changes. Supports objects with properties whose values change in time under complex patterns.
-
22
JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
-
23
cy2fluxviz
cy2fluxviz : Cytoscape 2 plugin for flux distribution visualization
cy2fluxviz - Cytoscape 2 Plugin for the visualization of flux distributions in networks. Latest releases from https://github.com/matthiaskoenig/cy2fluxviz -
24
CReST
CReST: The Cloud Research Simulation Toolkit
The Cloud Research Simulation Toolkit (CReST) is a cloud computing simulation platform written in Java. -
25
expressionCalc
Cross platform Mathematical expression solver
expressionCalc is a Mathematical expression solver. It has a Java implementation (for cross platform) and a C# implementation (for Windows). Support most of the Mathematical functions including log, sin, a sin etc. Implemented based on the expression solving technique of BODMAS.
