Search Results for "sql command line" - Page 23
Sort By:
Showing 2376 open source projects for "sql command line"
View related business solutions-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
1
LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA
LTL3BA is a translator of LTL formulae to Büchi automata. It is based on the popular tool named LTL2BA written by Denis Oddoux and Paul Gastin (available at http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/). LTL3BA further improves LTL2BA's performance. Most modifications are described in the paper: T. Babiak, M. Křetínský, V. Řehák, and J. Strejček: LTL to Büchi Automata Translation: Fast and More Deterministic, in Proceedings of TACAS 2012, volume 7214 of LNCS, pages 95-109.... -
2
Quantum Wells, Wires and Dots
A set of tools for simulating semiconductor nanostructures.
This software accompanies the textbook "Quantum Wells, Wires and Dots" (4th Edition), Paul Harrison and Alex Valavanis, Wiley, Chichester (2015). It is adapted (by the same authors) from code that was originally supplied on a CD with the first edition of the book [1] and is now made available under the GPL3 license. In brief, we encourage everyone to use the software in your studies and research, to study and modify the source-code and to share it widely. However, you are not permitted to... -
3
A reworking in C++ of KBMAG. A package and C++ library for computing automatic structures and confluent rewriting system for group and coset rewriting systems, and for computing with finite state automata
-
4
converts a SAM file to fasta file. SAM file is a file output from bwa alignment software. It outputs aligned fasta file.
-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
5
Combustion analysis of internal combustion engine in-cylinder pressure data. For use in the development, calibration and modelling of internal combustion engines. Compatible with data recorded with AVL Indiwin/Indimaster/Indiset I-File format. Go to www.catool.org to download the latest version
-
6
erf
error function and related functions in pure standard Fortran 2008
Fortran 2008 added 3 new intrinsic functions: erf, erfc, erfc_scaled. However, they take only real arguments. This package provides a BSD licensed Fortran 2008 module with erf(z), where z is a complex argument. The calculation is based on calculating w(z), the Faddeyeva (plasma dispersion) function. Two algorithms are implemented: TOMS 680 and 916, http://www.netlib.org/toms/. The simple test program calculates values in the Abramowitz, Stegun. -
7
mflab
modflow laboratory
Matlab based scripting to set up, run and analyze groundwater model using (different versions of) MODFLOW (+SWI), MODPATH6, MT3DMS and SEAWAT. -
8
PAGC is a command line and web service C library for performing postal address geocoding. A postal address geocoder takes a sufficiently detailed postal addresses and produces a digital map that displays the spatial location of those addresses.
-
9
CFD2D
The incompressible Navier-Stokes equations solver in 2D domains
CFD2D is open source software for Linux for solving the non-dimensionalized incompressible Navier-Stokes equations (NSE) inside an arbitrary two-dimensional domain inscribed in a unit square with Dirichlet and "do-nothing" boundary conditions. The space discretization is based on Finite Element Method (FEM) using an approximately uniform triangular mesh. The two choices of FE spaces are offered, these are of the so called MINI-element and of the Taylor-Hood element. The first element... -
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
Command line calculator and tool for manipulating files and arrays of integer and floating point values.
-
11
pyxaid
PYthon eXtension for Ab Initio Dynamics
-
12
-
13
KAnalyze
DNA/RNA Sequence K-mer Toolkit
KAnalyze is a Java toolkit designed to convert DNA and RNA sequences into k-mers. It is both a command line application and an API. -
14
ghdl-updates
GHDL - a VHDL simulator
GHDL is the leading open source VHDL simulator. *** Now on github.com/tgingold/ghdl *** We have binary distributions for Debian Linux, Mac OSX and Windows. On other systems, getting GHDL from here means downloading the current source package and building GHDL from source. Alternatively you can get the latest source version (warning : occasionally unstable!) by pulling a snapshot from the git repository. -
15
Visualization of Protein-Ligand Graphs
Compute protein graphs. Moved to https://github.com/MolBIFFM/PTGLtools
...The Visualization of Protein-Ligand Graphs (VPLG) software package computes and visualizes protein graphs. It works on the super-secondary structure level and uses the atom coordinates from PDB files and the SSE assignments of the DSSP algorithm. VPLG is command line software. If you do not like typing commands, try our PTGL web server: http://ptgl.uni-frankfurt.de/ -
16
BoolCalc
Boolean Expression Evaluator with AND/XOR minimization
This is yet another boolean expression evaluator written in C/C++ with AND/XOR Sum-of-Product outputs. This is useful for projects that require heavy use of arithmetic functions, or multiplexors, where the XOR function dominates the logic expressions. There is also a similar tool with AND/OR/NOT output. -
17
LOOS
Analyze molecular simulation data
LOOS is a light-weight object oriented software library for creating new tools for analyzing molecular simulation data, written in C++. The main design goal is to allow casual programmers to easily implement new analysis methods. THIS PAGE IS NO LONGER UPDATED. Please see https://github.com/GrossfieldLab/loos for all recent developments -
18
dxf2pcb
Convert DXF drawings of circuit boards to gEDA-PCB files.
This Python script reads in a DXF (ascii) file and generates a PCB output compatible with PCB Designer, part of the gEDA suite. It is designed for two purposes: One is to generate a PCB snippet from a mechanical drawing (such as a board outline), the other is to produce element files from CAD drawings. PCB snippets are easily imported into an existing gEDA-PCB project using File -> Load Layout to Buffer. Generated element files are ready to use (except for special cases like no-paste... -
19
ooPorter
A Porter stemming or stemmer algorithm coded in ooRexx
This is an ooRexx line-by-line port from Ansi-C to ooRexx of the stemming routine published by Martin Porter 1980. The original source code from Porter has been commented out and emulated by the corresponding (oo)Rexx code as far as possible. This is not an example of good or fast (oo)Rexx programming, it is merely a demonstration of the Porter stemming routine ported to ooRexx, use and modify as necessary. Input to the program is a textfile with words to be stemmed, one per line.... -
20
ElixirFM
Functional Arabic Morphology
ElixirFM is a high-level implementation of Functional Arabic Morphology. The core of ElixirFM is written in Haskell, while interfaces in Python and Perl support lexicon editing and other interactions. http://github.com/otakar-smrz/elixir-fm -
21
LBM3fm
LBM3fm - Lattice Boltzmann method for film flow modelling
This program provides the moment method boundary condition treatment for multi-phase flow modelling with lattice Boltzmann methods. For feedback, leave a review, leave a comment on the discussion page or send me a private mail. -
22
Opt4J
Modular Java framework for meta-heuristic optimization
Opt4J is an open source Java-based framework for evolutionary computation. It contains a set of (multi-objective) optimization algorithms such as evolutionary algorithms (including SPEA2 and NSGA2), differential evolution, particle swarm optimization, and simulated annealing. The benchmarks that are included comprise ZDT, DTLZ, WFG, and the knapsack problem. The goal of Opt4J is to simplify the evolutionary optimization of user-defined problems as well as the implementation of arbitrary... -
23
Encode Arabic provides tools for encoding and decoding Arabic in Haskell, Python, Perl, or LaTeX. Interprets the ArabTeX notation to generate original orthography or phonetic transcription. Supports Buckwalter and other romanizations. Converts legacy byte encodings into Unicode. http://github.com/otakar-smrz/encode-arabic
-
24
tGlue
Glue Libraries for Users as an Environment
A platform-independent environment to glue developed libraries (such as different quantum-chemistry libraries) together for research, education and further development. Git repository: https://gitlab.com/groups/tglue -
25
Asterix
Asterix is command line parser and Wireshark plugin for ASTERIX
Asterix is command line utility and Wireshark plugin used for reading and parsing of Eurocontrol ASTERIX protocol data from stdin, file or network multicast stream. ASTERIX stands for All Purpose STructured Eurocontrol SuRveillance Information EXchange. It is an ATM Surveillance Data Binary Messaging Format which allows transmission of harmonised information between any surveillance and automation system.
