12 programs for "there is no way to" with 2 filters applied:

  • Red Hat Enterprise Linux on Microsoft Azure Icon
    Red Hat Enterprise Linux on Microsoft Azure

    Deploy Red Hat Enterprise Linux on Microsoft Azure for a secure, reliable, and scalable cloud environment, fully integrated with Microsoft services.

    Red Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.
    Learn More
  • Deliver secure remote access with OpenVPN. Icon
    Deliver secure remote access with OpenVPN.

    Trusted by nearly 20,000 customers worldwide, and all major cloud providers.

    OpenVPN's products provide scalable, secure remote access — giving complete freedom to your employees to work outside the office while securely accessing SaaS, the internet, and company resources.
    Get started — no credit card required.
  • 1
    Eclipse 4diac

    Eclipse 4diac

    Eclipse 4diac the open source solution for industrial automation

    Eclipse 4diac is an open source PLC environment allowing to implement industrial control solutions in a vendor neutral way. 4diac implements IEC 61499 extending IEC 61131-3 with improved support for controller to controller communication and dynamic reconfiguration. With that 4diac provides the infrastructure for Industrie 4.0 and industrial IoT. Further information and the latest versions can be found here: https://eclipse.dev/4diac/
    Leader badge
    Downloads: 30 This Week
    Last Update:
    See Project
  • 2
    Archive of Formal Proofs

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

    Molecular Dynamics Studio

    Molecular Dynamics Cell Construction

    This is a collection of software modifications created to integrate NanoEngineer-1, PACKMOL and MSI2LMP for the purpose of easily creating molecular dynamics cells. NanoEngineer-1 is a molecular CAD software written by Nanorex and provides the user an easy way to create molecules, while the software modifications allow the user to type atoms using multiple force fields. PACKMOL can generate a random collection of molecules using the molecule templates from NanoEngineer-1 thus providing...
    Downloads: 19 This Week
    Last Update:
    See Project
  • 4
    Super Math Man DEMO

    Super Math Man DEMO

    Arcade style educational game that teaches students how to count money

    This program offers a quick fun way for students to learn how to count money. The mini games are reminiscent of old school arcade games. The game was developed by a veteran teacher with a Masters degree in Education. Play the FREE DEMO first. If you like the game and it runs well on your PC, try the FULL version. The FREE DEMO includes 2 complete penny games. The FULL version includes penny, nickle, dime and quarter games. More information available here: https://www.k12gamer.com...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Payroll Services for Small Businesses | QuickBooks Icon
    Payroll Services for Small Businesses | QuickBooks

    Save 50% off for 3 months with QuickBooks Payroll when you Buy Now

    Easily pay your team and access powerful tools, employee benefits, and supportive experts with the #1 online payroll service provider. Manage payroll and access HR and employee services in one place. Pay your team automatically once your payroll setup is complete. We'll calculate, file, and pay your payroll taxes automatically.
    Learn More
  • 5
    fcGENE: Genotype  format converter

    fcGENE: Genotype format converter

    Format converting tool for genotype Data (e.g.PLINK-MACH,MACH-PLINK)

    Main application is twofold: first to convert genotype SNP data into formats of different imputation tools like PLINK MACH, IMPUTE, BEAGLE and BIMBBAM, second to transform imputed data into different file formats like PLINK, HAPLOVIEW, EIGENSOFT and SNPTEST. Readable file formats: plink-pedigree (ped and map), plink-raw, plink-dosage, mach , minimac, impute, snptest, beagle and bimbam. Similarly all kinds of imputation of outputs are also accepted. Formats which can be generated by...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 6

    FORTRAN Unit Test Framework (FRUIT)

    FORTRAN Unit Test Framework FRUIT - TDD in FORTRAN

    FORTRAN Unit Test Framework, written in FORTRAN 95. So that all FORTRAN features can be tested. FRUIT has assertion, fixture, setup, teardown, report, spec, driver generation. Rake used as build tool. Tutorials at http://fortranxunit.wiki.sourceforge.net The core testing part is in FORTRAN, this part can be used independent of the Ruby codes. The Ruby code is to make fixtures and reports easier. Rake is to build the project elegantly. This project also demonstrate a new way to build...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 7
    tiny-hyphenator

    tiny-hyphenator

    C++ Library to hyphenate a text

    ... is written in C++ and is tested under GCC 4.7, 4.8 and 4.9 [Use it in any way you want, including commercial work, but please include my name and a link to this page]
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    YAFEMS

    Yet Another Finite Element Method Solver

    YAFEMS (Yet Another Finite Element Method Solver) is a FEM solver for Linux and WIndows that reads a MED mesh file produced by Salome (http://www.salome-platform.org/) with certain groups created into the mesh, and with the help of an input text file (.yaf), performs a 3D or 2D plane stress or plane strain analysis and creates results in plain text format and in MED format. This way a complete analysis can be carried inside Salome, where a mesh file can be created, exported and read...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    CrossCompiler

    A new way to program on VEX Robotics.

    A new way to program on VEX Robotics.Easy vb-style objective program style.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Software Testing Platform | Testeum Icon
    Software Testing Platform | Testeum

    Testeum is a Software Testing & User Test platform

    Tired of bugs and poor UX going unnoticed despite thorough internal testing? Testeum is the SaaS crowdtesting platform that connects mobile and web app creators with carefully selected testers based on your criteria.
    Learn More
  • 10
    FPGAsm

    FPGAsm

    Create fast bare-metal FPGA designs without Verilog or VHDL

    FPGAsm is a low-level alternative to verilog and VHDL. A near-instant 'assembler for FPGAs', this simple yet powerful language facilitates bottom-up design, layout and wiring of modules, and generation of .xdl output. With about 10 keywords to learn, you can start making circuits in minutes. Now you can focus on learning the ins and outs of the FPGA instead of complex tools and languages. Fast turnaround time and bottom-up approach invite exploration, experimentation, live circuit...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    M2P is a framework which goal is to provide a simple way of controlling almost everything by the hands movements. It can already control Winamp, Firefox, PowerPoint, some servo motors... It can work on Windows and Linux, and it work with every webcam.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    gene2path

    A tool to study fish gene pathways by search of orthologous genes

    ... in an independent, species-specific way. We have illustrated the method with data obtained from an immune targeted rainbow trout microarray to search for orthologous pathways defined for other well known biological species, such as zebrafish, although the software can be applied to any other case or species of interest. The Gene2Path software allows the automated searching of NCBI databases and the straightforward visualization of the data retrieved based on a graphic network environment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next