Search Results for "java open source" - Page 66
Sort By:
Showing 16942 open source projects for "java open source"
View related business solutions-
Vibes don’t ship, Retool doesVibe coding tools create cool demos, but Retool helps you build software your company can actually use. Generate internal apps that connect directly to your data—deployed in your cloud with enterprise security from day one. Build dashboards, admin panels, and workflows with granular permissions already in place. Stop prototyping and ship on a platform that actually passes security review.
-
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
1
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. -
2
OzGIS free open-source mapping system
Analysis and display of Census, business, government attribute data
OzGIS is an extensive mapping system for the analysis and display of geographically referenced data. Map data are downloaded from Census bureaux and map agencies or extracted from your own databases. The system can be used to to support management decisions associated with, for example, government planning, marketing, sales, site and personnel location, advertising and research. Systems for Windows, Mac and Ubuntu, source code, sample data files and manuals are included. DOWNLOAD to... -
3
Peptide Vaccine Analysis Tool (PVAT) is an optimization software that predicts the best possible peptide stretches in a given protein sequence based on two factors: 1. the surface exposure of the peptide stretches, and 2. their susceptibility to mutation.
-
4
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. -
Find Hidden Risks in Windows Task SchedulerWindows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
-
5
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. -
6
Calis-p
Estimates delta13C of species in a microbiome from proteome data
Calis-p (The CALgary approach to ISotopes in proteomics) is a java application to estimate isotopic composition (e.g. delta13C or delta15N) of individual species in a microbial community from a proteomic dataset. Calis-p 2.0 handles both natural isotope abundances and data from labelling experiments such as stable isotope probing (SIP). It requires a mzIdent (or target spectrum match) and mzML files as the input and requires about 1 min per mzML file with 10 threads and needs <10 Gb of RAM.... -
7
Program for creating Verilog synthesizable XOR trees for high performance designs. Supports creation of Hamming Code (ECC) generators, checkers, and GF2 Multipliers.
-
8
--- 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...
-
9
AstroFinder2021
stellar map creator
Stellar Map creator programmed with c++ QT Creator Last version with some bugs fixed in void of Pleiades -
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
10
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/ -
11
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... -
12
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/
-
13
ModbusPal - a Java MODBUS simulator
Modbus slave simulator
ModbusPal is a project to develop a PC-based Modbus simulator. Its goal is to reproduce a realistic environment, with many slaves and animated register values. Almost everything in ModbusPal can be customized and controlled by scripts. -
14
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. -
15
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). -
16
3d Linear Transformation Visualization
Visualize 3d linear transformations.
A linear transformation is a function from one vector space to another that respects the linear structure of each vector space. For visualizing this we can transform a vector, but it has an obvious problem, because the linear transformation transform the whole space, not just the vector, in other words it transforms the basis vectors thus every vector in the space gets transformed too. That's why i created this app so everyone can see how a transformation matrix change the whole space. -
17
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.
-
18
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.
-
19
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. -
20
NervOn
Open Source EEG project to translate player's mind into a virtual game
NervON is an Open Source project that aims to read and translate human thoughts into a computer. The main objective is to create a virtual world in which millions of people could meet while being totally immersed in this game. -
21
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.
-
22
Tahoe is a research-oriented platform for the development of numerical methods and models for the simulation of complex material behavior.
-
23
-
24
The Kinetic Simulation Algorithm Ontology (KiSAO; http://co.mbine.org/standards/kisao) is an ontology of algorithms for simulating and analyzing biological models, as well as the characteristics of these algorithms, their input parameters, and their outputs. In addition, KiSAO captures relationships among algorithms, their parameters, and their outputs. Development of KiSAO has moved to https://github.com/SED-ML/KiSAO/.
-
25
WebVisu
Pure Browser based Visualisation for PLCs
Framework to enable PLC Visualisations (like Wago 750-841, Beck IPC, CoDeSys 2.3) displayed in a standalone Browser without Java applets. Including Browsers of iPad, iPhone, iPod, Android aso.. Based on HTML5 canvas and Javascript.
