Search Results for "gnu linux" - Page 36
Sort By:
Showing 10191 open source projects for "gnu linux"
View related business solutions-
Application Monitoring That Won't Slow Your App DownFull APM with errors, performance, logs, and uptime monitoring. 99.999% uptime SLA on the platform itself.
-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
1
Fast and efficient 3D pharmacophore search developed by the Camacho Lab (http://smoothdock.ccbb.pitt.edu) at the University of Pittsburgh. Source code is available through the svn repository.
-
2
-
3
RT Schedule
A realtime-schedule generator for educational purposes
RT Schedule is a realtime-schedule generator to create and present simple and idealised RT schedules from task lists. The purpose is to compute the basic properties of a task set and create a schedule using the rate monotonic (RM), earliest deadline first (EDF) and least laxity first (LLF) algorithms. The program uses simple, idealised systems, since students must be able to schedule them manually. RT Schedule computes the data and generates clear graphs for lecture notes and exams. -
4
pyrpl
PyRPL turns your Red Pitaya into a powerful analog feedback device.
The Red Pitaya is a commercial, affordable FPGA board with fast analog inputs and outputs. This makes it useful for quantum optics experiments, in particular as a digital feedback controller for analog systems. Based on the open source software provided by the board manufacturer, PyRPL (Python RedPitaya Lockbox) implements many devices that are needed for optics experiments with the Red Pitaya. PyRPL implements various digital signal processing (DSP) modules (see features below). It allows... -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
6
DeepScaleTool
Estimation of deep-submicron technology scaling
DeepScaleTool is a spreadsheet based tool for the accurate estimation of deep-submicron technology (130 nm to 7 nm) scaling by modeling and curve fitting published silicon trends for area, delay, and energy. The tool is also helpful to conduct fair comparison of the circuits' performance, energy, and power dissipation across different technology generations. Please make sure you enable macros while opening the DeepScaleTool.xlsm file. This tool was developed by... -
7
VIKAMINE is a flexible environment for visual analytics, data mining and business intelligence - implemented in pure Java. It features several powerful visualization and mining methods, and can utilize background knowledge.
-
8
MToolBox
A bioinformatics pipeline to analyze mtDNA from NGS data
MToolBox is a highly automated bioinformatics pipeline to reconstruct and analyze human mitochondrial DNA from high throughput sequencing data. MToolBox includes an updated computational strategy to assemble mitochondrial genomes from Whole Exome and/or Genome Sequencing (PMID: 22669646) and an improved fragment-classify tool (PMID:22139932) for haplogroup assignment, functional and prioritization analysis of mitochondrial variants. MToolBox provides pathogenicity scores, profiles of genome... -
9
Online Transcription Editor (OTE)
A tool for Visual Transcriptions of biblical texts at INTF and ITSEE
The Online Transcription Editor was developed as part of the joined project "Workspace for Collaborative Editing". It is used for transcriptions at the INTF in Munster and the ITSEE in Birmingham. -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
AstroFinder2021
stellar map creator
Stellar Map creator programmed with c++ QT Creator Last version with some bugs fixed in void of Pleiades -
11
GPSdings (project name GPStools) is a set of free applications that let you manipulate and analyse GPS data from the command line.
-
12
CS-NPSA
Nonpolar Surface Area from Continuum Solvation
The Continuum Solvation Nonpolar Surface Area (CS-NPSA) package is a general purpose program suite for defining and computing nonpolar surface areas based on continuum solvation models. It is based on the classification of individual surface elements representing the solvent accessible surface used for the description of the polarized charge density elements in the CS models. -
13
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
14
--- IMPORTANT : This project has been moved to GitHub at https://github.com/clstoulouse/motu-client-python. Download the last version from the release page https://github.com/clstoulouse/motu-client-python/releases. --- Motu is a high efficient and robust Web Server which fills the gap between heterogeneous Data Providers to End Users. Motu handles, extracts and transforms oceanographic huge volumes of data without performance collapse. This client enables to extract and...
-
15
Lin-guider is an astronomical autoguiding program for Linux. It supports Philips, Logitech, uvc webcams, QHY5, QHY6, DSI2PRO, QHY5L-II-M, QHY5L-II-C, QHY5-II, ATIK, Starlight Xpress, ZWO ASI astrocams for video and FTDI chip-based, parallel port-based (LPT), GPIO-based, GPUSB devices, Nexstar-protocol based and QHY5, QHY6, QHY5L-II-M, QHY5L-II-C, QHY5-II, ATIK, Starlight Xpress, ZWO ASI astrocams for pulse guiding. Starlight Xpress ltd. is helping this project http://www.sxccd.com/
-
16
FusionCatcher
Somatic fusion-genes finder for RNA-seq data
FusionCatcher searches for novel/known somatic fusion genes, translocations, and chimeras in RNA-seq data (paired-end reads from Illumina NGS platforms like Solexa and HiSeq) from diseased samples. The aims of FusionCatcher are: - very good detection rate for finding candidate fusion genes, - very easy to use (i.e. no a priori knowledge of databases and bioinformatics is needed in order to run FusionCatcher), - very good detection of challenging fusion genes, like for example IGH... -
17
pwc-lxled
PWC driver modded for Long Exposure and Led control support
This driver is derived from the PWC driver found in the Linux kernel. It adds V4L2 controls (`V4L2_CID_FLASH_STROBE/STROBE_STOP`) to drive the led present on some cameras. It also synchronously sets the video mode when power_save is off. This driver may be used to control long exposure modded webcams (SPC900, TouCam,..) when the led is used to trigger long exposure (this avoids the use of an additional serial port). -
18
An SNTP client for Virtual PC. It is for machines that do not have a sane time and a working hardware RTC. It synchronize the system time frequently with a nearby NTP server. It uses settimeofday(). It is based on RFC 1769 and RFC 1305.
-
19
chklinks is a non-threaded Perl link checker. It helps finding broken links on your website. It does not raises many simultaneously connections for its job, run out of the resources and crash your system in a moment.
-
20
korpus
Corpus Linguistics Software
Some software for Corpus Linguistics, which includes Corpus Text Editor, Web-based search, etc. This project created for Belarusian Corpus, but can be used for other languages with some adaption. -
21
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
22
Gato (Graph Animation Toolbox): Animate graph algorithms for example for computing shortest paths, minimal spanning trees, maximum flows or maximal cardinality or weight matchings. Create your own animations using the Animated Data Structures (ADS).
-
23
statTools
Command-line tools for simple statistics
statTools contains command-line tools for simple statistics -
24
Data Logging Service
Process data logging service
This project has been moved to https://gitlab.com/etherlab.org/dls. The Data Logging Service (DLS) is a data logging system for EtherLab, that is capable of collecting, compressing and storing high-frequency realtime data. The goal is, to allow the user unlimited and performant access to the stored data. A signal overview over a year is retrieved as fast as a tiny signal fluctuation, that happened in a fraction of a second. -
25
GeoSolver
A Python library for solving geometric constraint problems
GeoSolver is a Python library for solving geometric constraint problems. A graphical testing and demostration application, the Geometric Constraint Workbench is included with the software.
