Search Results for "gnu/linux" - Page 32
Sort By:
Showing 9760 open source projects for "gnu/linux"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
1
book
A textbook on informal homotopy type theory
The canonical Homotopy Type Theory informal textbook, initiated at the Institute for Advanced Study (2012–13) under the Univalent Foundations project. It presents the theory pedagogically without requiring technical proof assistant use. -
2
Dike-ED
Simulator for medical emergency departments
Discrete-event simulator for medical emergency department resource allocation. -
3
octave-raspberrypi
GNU Octave toolkit for controlling a Raspberry Pi
Basic Octave implementation of the matlab raspi extension, allowing communication to a Raspberry Pi board to control its hardware. -
4
Leaflet
Open-source JavaScript library for mobile-friendly interactive maps
Leaflet is a leading open source JavaScript library for creating interactive, mobile-friendly maps. Leaflet is light at just about 38 KB, but is already fully equipped with all the mapping features you could need. Leaflet is simple but efficient. It doesn’t try to do everything for everybody, rather it focuses on making the basic things work perfectly. It comes ready with exceptional layering tools, customization features such as pure CSS3 popups and controls, map controls and more right... -
$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.
-
5
polynomial-roots-calculation
Application for calculating the real roots of a polynomial
Application for polynomial roots calculation. The application does the job by supposing the roots of the derivative function are known. This way, we can delimit the range where each possible root is in, and by applying Bolzano's theorem, we can find the zeroes. It is not a very eficient way, as we must calculate al the derivatives of the polinomial, implying very high numbers (n!), that make the needed precision increase, making the computational complexity for high-degree polinomials... -
6
Sezioni
Python tool for section property evaluation and stress calculation
This software is a basic tool for section property evaluation and stress calculation, written in python. The section can be imported or input by points and then can be modified moved, rotated etc.. Area and section inertia can be exported. Loads can be applied (multiple load cases can be imported) and the related stresses are calculated by mean of De Saint Venant formulas. Results are plot with selectable color maps. Point results are listed and may be exported. Section can be also... -
7
EvidentialGene
Evidence Directed Gene Construction for Eukaryotes
EvidentialGene is a genome informatics project, "Evidence Directed Gene Construction for Eukaryotes", to construct high quality, accurate gene sets for animals and plants, developed by Don Gilbert at Indiana University, see http://arthropods.eugenes.org/EvidentialGene/ Construction refers to the combination of classical gene prediction, and more recent gene assembly (de-novo and genome-assisted) methods. The basic Evigene methods involve using available best-of-breed gene prediction and... -
8
gadict
gadict is a small collection of EN to EN/RU/UK dictionaries.
gadict is a small collection of EN to EN/RU/UK dictionaries. Also project provides additional linguistic information about EN language. All materials are freely accessible (Public domain). -
9
*.xml files are uploaded to SAGA GIS toolchains 'Files' from where they can be downloaded: https://sourceforge.net/projects/saga-gis-rhotoolchains/files/ SAGA-GIS-toolchain_Burned_area.xml ___is presented in GitHub: https://github.com/RhoSpatial/Saga-gis-toolchain-for-burned-area-mapping- VIIRS_snow_tool_FINAL7.xml ___is a toolchain for snow cover retrival from VIIRS instrument imagery (NASA), input is study area cloud free VNP09GA product and DEM in GQ(nom 250m)...
-
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
TASSEL
TASSEL is a bioinformatics software package
TASSEL is a bioinformatics software package that can analyze diversity for sequences, SNPs, or SSRs. Genotype/phenotype associations can be carried out by GLM or a mixed model. Estimates distance and linkage disequilibrium statistics. -
11
Laravel Translation
Translation management for your Laravel application
Laravel Translation is a package for Laravel that allows you full control over your translations when using Laravel's localization functionality. The package allows you to manage your translations using either native file based translations but also provides a database driver which is useful in multi-server setups. It exposes a user interface allowing you to update existing and add new translations to your application. -
12
Paddle Quantum
Paddle Quantum
Paddle Quantum (量桨) is the world's first cloud-integrated quantum machine learning platform based on Baidu PaddlePaddle. It supports the building and training of quantum neural networks, making PaddlePaddle the first deep-learning framework in China. Paddle Quantum is feature-rich and easy to use. It provides comprehensive API documentation and tutorials help users get started right away. Paddle Quantum aims at establishing a bridge between artificial intelligence (AI) and quantum computing... -
13
Watershed Districts
Creates voting districts using watershed boundaries.
Uses the USGS Watershed Boundary Dataset and the 2010 US Census data to create representational voting districts with equivalent population. -
14
Open source Algol 68 implementations
Implementations for the Revised Report language
...The project offers two implementations: Implementation 1 is Algol68G: a recent checkout hybrid compiler/interpreter by Marcel van der Veer, supporting arbitrary arithmetic, partial parametrisation, complex numbers, POSIX threads, GNU plotutils, GNU scientific library, curses, sound, TCP sockets, RegEx and PostgreSQL. Inplementation 2 is algol68toc, a port by Sian Mountbatten of the vintage Algol68RS (UK Defense Research Agency) compiler. The implementation emits C code. -
15
IIDC Camera Control Library
Capture and control API for IIDC compliant cameras
libdc1394 is a library that provides a high level programming interface for application developers who wish to control and capture streams from IEEE 1394 based cameras that conform to the 1394-based Digital Camera Specifications (also known as the IIDC or DCAM Specifications). libdc1394 also supports some USB cameras that are IIDC compliant. Besides capture and control, libdc1394 provides a full set of colour space conversion functions (including RAW decoding), vendor specific functions... -
16
GatcomSUMO
Automates the building of VANET simulations using SUMO and OMNeT++
GatcomSUMO is a multi-platform application that facilitates the building of VANET simulations using the SUMO traffic simulator and the OMNeT++ network simulator. The tasks related to the generation of abstract or synthetic scenarios, the download and conversion of network scenarios based on real maps (e.g. from OpenStreetMap), the route creation process, and the vehicles mobility modelling are integrated in a user-friendly graphical interface. This tool performs the necessary actions by... -
17
UMHDL
Integrated Development Environment (IDE) for learning HDL
UMHDL is an educational Integrated Development Environment (IDE) intended for learning digital designing with programmable logic devices using Hardware Description Languages (HDL) through simulation. It is an open-source application created at the Miguel Hernández University (UMH). The aim for the UMHDL development was to have a graphical application that allows learning the VHDL language without licensing restrictions (using some existing open-source tools) and requiring few resources. So,... -
18
Direct LiDAR Odometry
A lightweight and computationally-efficient frontend LiDAR odometry
DLO is a lightweight and computationally efficient frontend LiDAR odometry solution with consistent and accurate localization. It features several algorithmic innovations that increase speed, accuracy, and robustness of pose estimation in perceptually challenging environments and has been extensively tested on aerial and legged robots. This work was part of NASA JPL Team CoSTAR's research and development efforts for the DARPA Subterranean Challenge, in which DLO was the primary state... -
19
MLPACK is a C++ machine learning library with emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack
-
20
qaqarot
Quantum Computer Library for Everyone
The Blueqat project has been renamed the Qaqarot Project because of the branding strategy of blueqat inc. -
21
whiteboxgui
An interactive GUI for WhiteboxTools in a Jupyter-based environment
The whiteboxgui Python package is a Jupyter frontend for WhiteboxTools, an advanced geospatial data analysis platform developed by Prof. John Lindsay (webpage; jblindsay) at the University of Guelph's Geomorphometry and Hydrogeomatics Research Group. WhiteboxTools can be used to perform common geographical information systems (GIS) analysis operations, such as cost-distance analysis, distance buffering, and raster reclassification. Remote sensing and image processing tasks include image... -
22
FastQC
A quality control analysis tool for high throughput sequencing data
FastQC is a quality control analysis tool designed to spot potential problems in high throughput sequencing datasets. Its goal is to provide a simple way by which to check the quality of raw sequence data coming from high throughput sequencing pipelines. It does this by running a modular set of analyses on one or more raw sequence files in fastq or bam format. It then produces a report summarizing the results, and highlighting any areas where the library may appear unusual. This should then... -
23
Scaffold Hunter is a JAVA-based software tool for the analysis of structure-related biochemical data. It enables generation of and navigation in a scaffold tree hierarchy annotated with various data.
-
24
Image To Gerber Converter
Convert any image to gerber and drill files
ImageToGerber makes it easy to convert any image to gerber files, ready to send to a PCB manufacturer. More info at: https://www.imagetopcb.com Demo video: https://youtu.be/HUvt0mOHv_M Forget about spending long hours etching and drilling at home, or learning to use complicated CAD software, schematics, layout design,… And more importantly, ImageToPCB is more than just a converter, it expands the potential of your design or image. It unlocks the possibility to easily make... -
25
coronavirus
The coronavirus dataset
The coronavirus package gives a tidy format dataset of the 2019 Novel Coronavirus COVID-19 (2019-nCoV) epidemic. Relevant and updated information about the virus, such as summary of new cases by country and total number of cases by region can be retrieved from this package. The raw data is pulled and arranged by the Johns Hopkins University Center for Systems Science and Engineering, which is gathered from various leading sources including the World Health Organization, China CDC, US CDC,...
