Search Results for "gnu science" - Page 35
Sort By:
Showing 11014 open source projects for "gnu science"
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.
-
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.
-
1
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. -
2
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).
-
3
Tweety is a collection of various Java libraries that implement approaches to different areas of artificial intelligence. In particular, it provides a general interface layer for doing research and working with different knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and argumentation. Furthermore, Tweety contains libraries for dealing with agents, multi-agent systems, and dialog systems for agents, as well as belief revision,...
-
4
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
statTools
Command-line tools for simple statistics
statTools contains command-line tools for simple statistics -
6
parent-map
Analyze parental contributions to evolved or engineered protein or DNA
Documentation: https://parent-map.readthedocs.io/ -
7
-
8
tcptrace
tcptrace analyzes packet tcp connections and provides analysis
tcptrace is a tool written by Shawn Ostermann at Ohio University, for analysis of TCP dump files. It can take as input the files produced by several popular packet-capture programs, including tcpdump, snoop, etherpeek, HP Net Metrix, and WinDump. tcptrace can produce several different types of output containing information on each connection seen, such as elapsed time, bytes and segments sent and recieved, retransmissions, round trip times, window advertisements, throughput, and more. It can... -
9
NOTE: NTFS-3G development has moved to GitHub. This project page exists for archival purposes only! For the latest NTFS-3G updates, please visit: https://github.com/tuxera/ntfs-3g The NTFS-3G driver is a safe read/write NTFS driver for Linux, Mac OS X, OpenSolaris, FreeBSD, NetBSD, QNX, Windows and Haiku, providing fast and POSIX handling of the Windows XP, Windows Server 2003, Windows 2000, Windows Vista and Windows 7 file system
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
medical image analysis
Libraries and command line tools for medical image processing.
This software provides libraries and command line tools for the processing and analysis of gray scale medical images. -
11
JDataCom
Stream manager
Create ports : TCP/UDP/Terminal/File/RS232(txrx)/DB/System/Bluetooth/JNA/ETH(jpcap)/Sound. Simply configure with GUI/SFC XML file/CLI. Display, modify, replay, store (tcpdump), decode flow of bytes or objects. Implement : loop/echo/paddings/... and delai/DB2XML/Stacks/Matrix/... management. Stream conversations with a dynamic packet analyse. -
12
Gpredict
Real time satellite tracking and orbit prediction
Gpredict is a real-time satellite tracking and orbit prediction application. Gpredict can track an unlimited number of satellites and display the data in tables and various graphical view. -
13
The Development System for Auditory Modelling (DSAM) is a computational library designed specifically for producing simulations of the auditory system. It brings together many established auditory models within a flexible programming platform.
-
14
IRBEM-LIB
Project has moved to github https://github.com/PRBEM
*************************************************************** ********** IRBEM-LIB WAS MOVED TO GITHUB ********** ********** https://github.com/PRBEM ********************* *************************************************************** IRBEM-LIB provides routines to compute magnetic coordinates for any location in the Earth's magnetic field, to perform coordinate conversions, to evaluate geophysics/space-physics models, and to propagate orbits in time. -
15
bioweb
polyglot language framework to analyze genetic data
polyglot framework using Python/C++/JavaScript to fast develop applications to analyze biological sequences -
16
IMMpractical implements various Markov chain model-based methods for analysis of DNA sequences. Please cite: Sparks, M.E., Brendel, V. and Dorman, K.S. (2007) Markov model variants for appraisal of coding potential in plant DNA. LNBI. 4463:394-405.
-
17
GLPK for Java
Java language binding for the GNU Linear Programming Kit (GLPK)
GLPK for Java provides a Java language binding for the library GLPK. GLPK is a proven solver for linear and mixed integer mathematical programming problems. For Windows binaries see project GLPK for Windows (http://sourceforge.net/projects/winglpk/). -
18
Pain2D are programs which were developed for the automated pain drawing collection and classification of diseases on the basis of pain drawings in pen-and-paper and digital form for research purposes. Pain2D is currently not a diagnostic tool, but is aimed at scientists, physicians and anyone interested in the automated analysis of pain drawings.
-
19
progrep
Utility to show live progress, status & stats for running simulations
progrep is a command-line tool (Linux) to show live progress report, status & stats of a running simulation or compute job that executes a given number of iterations. It shows % completed, time remaining, time elapsed, number of threads, MPI_Rank(if any), CPU usage & speed (FPS). The FPS measures may be used in benchmarking, e.g. while optimizing HPC algorithms for performance. progrep supports both single-threaded and parallel (multicore/multinode - e.g. OpenMP/MPI) jobs. progrep can... -
20
As of 2020, this project has moved. See https://mesastar.org. Release versions can be found on Zenodo at https://doi.org/10.5281/zenodo.2602941. The code is now hosted on GitHub at https://github.com/MESAHub/mesa. You can find the documentation at https://docs.mesastar.org/.
-
21
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. -
22
Tashkeela processed
Tashkeela dataset cleaned and normalized.
A version of the Tashkeela Arabic diacritized text dataset cleaned from the non-Arabic content and the undiacritized text, then divided into training, development, and testing sets. The cleaning process includes removing the XML tags and strange symbols, as well as fixing diacritics errors. After that, the tokenization is performed while focusing on the extraction of the Arabic words. The result is a space-separated tokens file, where the words and the numbers are separated, but not the... -
23
-
24
Metrix++
Management of source code quality is possible.
The project has been moved to https://github.com/metrixplusplus/metrixplusplus ______________________ Metrix++ is an extendable tool to collect and analyse code metrics. - Multiple languages supported - Multiple metrics available - Configurable. Every metric has got 'turn-on' and other configuration options. There are no predefined thresholds for metrics or rules. You can choose and configure any limit you want. - High-performance. Processes thousands of files per minutes. -... -
25
Web LP-CSIC/UAB
New Web for the LP-CSIC/UAB
New Web Home Page for the LP-CSIC/UAB
