Showing 418 open source projects for "sql command line"

View related business solutions
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 1

    yafu

    Automated integer factorization

    ...Most algorithm implementations are multi-threaded, allowing YAFU to fully utilize multi- or many-core processors (including SNFS, GNFS, SIQS, and ECM). YAFU is primarily a command-line driven tool. You provide the number to factor and, via screen output and log files, YAFU will provide you the factors. There is also an interactive environment similar to MATLAB or PARI/GP, where you can type commands and store results. YAFU is very customizable, through the optional use of many many command line parameters and a very capable expression inter
    Leader badge
    Downloads: 149 This Week
    Last Update:
    See Project
  • 2

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    statTools

    statTools

    Command-line tools for simple statistics

    statTools contains command-line tools for simple statistics
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    ExRandom

    Sampling exactly from the normal and exponential distributions

    ExRandom is a small header-only C++11 library for exact sampling from the normal, exponential, and discrete normal distributions (provided that the underlying generator is perfect). This library provides an implementation of the algorithms described in C. F. F. Karney, Sampling exactly from the normal distribution, ACM Trans. Math. Software 42(1), 3:1-14 (Jan. 2016), https://doi.org/10.1145/2710016, https://arxiv.org/abs/1303.6257.
    Downloads: 0 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • 5
    The main goal of this project is to develop new algorithms of machine learning and collect examples of existing methods. This collection pursues scientific and educational purposes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Programmer's library for random numbers. Also random number generator testing code. Intended for simulation, games and "Monte-Carlo" algorithms.
    Downloads: 25 This Week
    Last Update:
    See Project
  • 7
    gsasnp2

    gsasnp2

    PubMed ID: 29562348 / DOI: 10.1093/nar/gky175

    * GSA-SNP2 is a successor of GSA-SNP (Nam et al. 2010, NAR web server issue). GSA-SNP2 accepts human GWAS summary data (rs numbers, p-values) or gene-wise p-values and outputs pathway genesets ‘enriched’ with genes associated with the given phenotype. It also provides both local and global protein interaction networks in the associated pathways. * Article: SYoon, HCTNguyen, YJYoo, JKim, BBaik, SKim, JKim, SKim, DNam, "Efficient pathway enrichment and network analysis of GWAS summary data...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    PlanetPack

    PlanetPack

    Radial-velocity & transits analysis tool for exoplanets

    PlanetPack is a software tool developed to facilitate the radial-velocity time-series analysis for the goal of exoplanets detection, characterization, and basic dynamical simulations. The description of the main theoretic concepts, statistical methods and algorithms that PlanetPack implements, is given in the following refereed papers: R.V. Baluev 2013, Astronomy & Computing, V. 2, P. 18 (initial release); R.V. Baluev 2018, Astronomy & Computing, V. 25, P. 221 (update 3.0). The...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    APBS

    APBS

    Biomolecular electrostatics software

    This software has moved to http://www.poissonboltzmann.org/.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus 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.
    Try for Free
  • 10
    Generic predictor that not depends data itself, this assumes original data is in L2(R) and there exists sampling theorem.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    Konbu Check

    Linear constraint feasibility check and get program.

    This program aims to check and gain a inner point from multiple set of linear constraints. This software works better in the case that range of variables are known and parameters are configured so. C++ and Eigen library needed, and to calculate more accurate, we may need mpfr++ library or, QD library. Freezed.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ObjectVolume

    ObjectVolume

    Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh

    The ObjectVolume program calculates the volume, surface area and centroid of a closed triangular mesh represented in an object file (.obj). The process goes through the list of triangles that make up the surface and, for each triangle, forms a tetrahedron with an external point. The program uses the origin (0,0,0). The volume of the tetrahedron is then calculated. Tetrahedrons with back facing triangles are added and those with forward facing triangles are subtracted yielding the object...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    SparthMP

    SparthMP is an ANSI-C math library for Multi-Precision calculations

    SparthMP is an ANSI-C math library for Multi-Precision calculations, i.e. beyond float/double domain. It supports regulated accuracy of calculations. For algorithm design with this library you should have an understanding of rounding errors in math.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    Kicker Scheduling

    Generating kicker playing schedules

    This software is to generate kicker playing schedules that should be as fair as possible. There are the following hard constraints: - Each match consists of 4 players, with 2 teams of 2 players each. - All players participating at the whole schedule will be included in the same number of matches. The following optimization objectives are being regarded: - Each player should be scheduled for each table position equally often. - All combinations of team-mates should happen equally...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    CLISP - an ANSI Common Lisp
    CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
    Leader badge
    Downloads: 213 This Week
    Last Update:
    See Project
  • 16
    Software for exploring & solving polyform puzzles, written in Python. Includes solvers for: pentominoes/polyominoes, solid pentominoes, Soma cubes, polycubes, polyiamonds, polyhexes, polysticks, and more to come.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    OpenM++

    OpenM++: open source microsimulation platform

    IMPORTANT: ========== Our project home page: https://openmpp.org Our latest source code and release available at: https://github.com/openmpp/main/releases/latest Our documentation available at: https://github.com/openmpp/openmpp.github.io/wiki SourceForge files still exist for historical reason. OpenM++ is an open source microsimulation platform inspired by and compatible with Modgen. OpenM++, compared to its closed source predecessor Modgen, has advantages like portability,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    CUDALucas

    A program that uses CUDA to accelerate the Lucas Lehmer test.

    CUDALucas is a program implementing the Lucas-Lehmer primality test for Mersenne numbers using the Fast Fourier Transform implemented by nVidia's cuFFT library. You need a CUDA-capable nVidia card with compute compatibility >= 1.3 up to CUDA 6.5, 2.x up to 7.0 and 3.x for >=CUDA 8.0 . The program is run from the command line, however it can be configured without using a terminal. See the Wiki for more details. README for new users available at the Files/Downloads page.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    C++ BigInt class

    C++ BigInt class

    C++ BigInt class enables to work with arbitrary precision integers

    C++ BigInt class that enables the user to work with arbitrary precision integers. Latest Version: 10.3 (2019-03-06)
    Downloads: 2 This Week
    Last Update:
    See Project
  • 20
    Finite Transform Library

    Finite Transform Library

    A Library is for Finite Transforms

    The Library is for Finite Transforms such as the Number Theoretic Transform (NTT) and Finite Radon Transform (FRT). Current modules include NTTW for NTTs with high resolution (microsecond) timing, basic array and imaging. The transforms are optimised for performance.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    cocolib / light field suite

    CUDA library for continuous optimization and light field analysis

    Library for continuous convex optimization in image analysis, together with a command line tool and Matlab interface. Implements several recent algorithms for inverse problems and image segmentation with total variation regularizers and vectorial multilabel transition costs. Also included is a suite for variational light field analysis, which ties into the HCI light field benchmark set and givens reference implementations for a number of our recently published algorithms. *** NOTE: documentation on the SourceForge page is outdated and not updated anymore, please visit http://cocolib.net ***
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22

    libirt

    The new site is at http://psychometricon.net/libirt/

    The new site is at http://psychometricon.net/libirt/ Library of functions to estimate the items and abilities from the responses of subjects to a questionnaire. The IRT models supported are the logistic model, the multivariate logistic model, the graded model and smoothing by penalization and kernel.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    lottie vectors

    lottie vectors

    Create, display and process 2D vectors in a 3D window.

    ...This could be a common math symbol or greek letter, start/end signposts, or a number of the position either from the begining or after a reset. After all the information has been loaded for your dataset. Either passed over the command line, or as a text file. Lottie Vectors displays inside a figure that you can resize, rotate and turn 2D positions into a 3D picture.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    An R package for metrology. metRology provides classes and calculation and plotting functions for metrology applications, including measurement uncertainty estimation and (eventually) inter-laboratory metrology comparison studies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25

    octave-intinf

    Infinite-precision integer arithmetic for Octave, written in Octave

    Octave code to perform arbitrary-precision integer arithmetic. It may or may not work in Matlab. The supported operations are: >> s = a = intinf (126) % Creation of intinf-class object from integer or string >> b = intinf ('-792716404922304611755050042308687') >> c = a + b % Addition >> d = a - b % Subtraction >> e = c * d % Multiplication >> f = (e - a^2) / b %...
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB