Showing 11 open source projects for "command-line"

View related business solutions
  • 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
  • Automate contact and company data extraction Icon
    Automate contact and company data extraction

    Build lead generation pipelines that pull emails, phone numbers, and company details from directories, maps, social platforms. Full API access.

    Generate leads at scale without building or maintaining scrapers. Use 10,000+ ready-made tools that handle authentication, pagination, and anti-bot protection. Pull data from business directories, social profiles, and public sources, then export to your CRM or database via API. Schedule recurring extractions, enrich existing datasets, and integrate with your workflows.
    Explore Apify Store
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    Power Systems

    Power system analysis software

    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    ElixirFM

    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Encode Arabic
    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • Incredable is the first DLT-secured platform that allows you to save time, eliminate errors, and ensure your organization is compliant all in one place. Icon
    Incredable is the first DLT-secured platform that allows you to save time, eliminate errors, and ensure your organization is compliant all in one place.

    For healthcare Providers and Facilities

    Incredable streamlines and simplifies the complex process of medical credentialing for hospitals and medical facilities, helping you save valuable time, reduce costs, and minimize risks. With Incredable, you can effortlessly manage all your healthcare providers and their credentials within a single, unified platform. Our state-of-the-art technology ensures top-notch data security, giving you peace of mind.
    Learn More
  • 5
    A set of command-line utilities for annotating and manipulating DNA sequences in FASTA format. Generate restriction fragments, ORF's, translations, reverse complement, etc. . - and tie it all together with Unix pipes for complete virtual cloning.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    simgi is a simulation engine for stochastic simulations of reactive systems using Gillespie's method written in Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Converts files from Garmin(R)'s IMG file format to GMAPI file format.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    The SpindleCAD is a machine-tool spindle design software. It helps engineers check properties of finished construction and optimize construction with respect to precision and productivity.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    A tool written in Haskell to parse GDSII (Calma) binary files and print the GDSII structure out in a readable text format.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Cloud data warehouse to power your data-driven innovation Icon
    Cloud data warehouse to power your data-driven innovation

    BigQuery is a serverless and cost-effective enterprise data warehouse that works across clouds and scales with your data.

    BigQuery Studio provides a single, unified interface for all data practitioners of various coding skills to simplify analytics workflows from data ingestion and preparation to data exploration and visualization to ML model creation and use. It also allows you to use simple SQL to access Vertex AI foundational models directly inside BigQuery for text processing tasks, such as sentiment analysis, entity extraction, and many more without having to deal with specialized models.
    Try for free
  • 10
    A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11

    Article manager

    A command line tool for articles management.

    A command line tool that allows a semi-automated scientific articles management. It assumes an existence of a directory of a specific format in the file system. The tool interprets the data stored in the directory (called a repository), extend it via the usage of some automatic tools such as pdftotext, and search the text as well as some metadata.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next