Showing 18 open source projects for "program"

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
  • Cloud tools for web scraping and data extraction Icon
    Cloud tools for web scraping and data extraction

    Deploy pre-built tools that crawl websites, extract structured data, and feed your applications. Reliable web data without maintaining scrapers.

    Automate web data collection with cloud tools that handle anti-bot measures, browser rendering, and data transformation out of the box. Extract content from any website, push to vector databases for RAG workflows, or pipe directly into your apps via API. Schedule runs, set up webhooks, and connect to your existing stack. Free tier available, then scale as you need to.
    Explore 10,000+ tools
  • 1
    google-java-format

    google-java-format

    Reformats Java source code to comply with Google Java Style

    google-java-format is a program that reformats Java source code to comply with Google Java Style. The formatter can act on whole files, on limited lines, on specific offsets, passing through to standard-out (default) or altered in-place. There is no configurability as to the formatter's algorithm for formatting. This is a deliberate design decision to unify our code formatting on a single format.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 2
    Joern

    Joern

    Open-source code analysis platform for C/C++/Java/Binary/Javascript

    ...This allows code to be mined using search queries formulated in a Scala-based domain-specific query language. Joern is developed with the goal of providing a useful tool for vulnerability discovery and research in static program analysis.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    tkdiff

    tkdiff

    Side-by-side diff viewer, editor and merge preparer

    tkdiff is a graphical front end to the diff program. It provides a side-by-side view of the differences between two text files, along with several innovative features such as diff bookmarks, a graphical map of differences for quick navigation, and a facility for slicing diff regions to achieve exactly the merge output desired.
    Leader badge
    Downloads: 194 This Week
    Last Update:
    See Project
  • 4
    JSHint

    JSHint

    A tool that helps to detect errors and in your JavaScript code

    ...Any code base eventually becomes huge at some point, so simple mistakes, that would not show themselves when written, can become show stoppers and add extra hours of debugging. So, static code analysis tools come into play and help developers spot such problems. JSHint scans a program written in JavaScript and reports about commonly made mistakes and potential bugs. The potential problem could be a syntax error, a bug due to an implicit type conversion, a leaking variable, or something else entirely.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Free and Open Source HR Software Icon
    Free and Open Source HR Software

    OrangeHRM provides a world-class HRIS experience and offers everything you and your team need to be that HR hero you know that you are.

    Give your HR team the tools they need to streamline administrative tasks, support employees, and make informed decisions with the OrangeHRM free and open source HR software.
    Learn More
  • 5
    Semantic

    Semantic

    Parsing, analyzing, and comparing source code across many languages

    ...Semantic uses tree-sitter to generate parse trees, but layers in a more generalized notion of syntax terms across all supported programming languages. We'll see why this is important when we get to diffs and program analysis, but for now let's just inspect some output. It helps to have a simple program to parse. Symbols are named identifiers driven by the ASTs. This is the format that github.com uses to generate code navigation information allowing c-tags style lookup of symbolic names for fast, incremental navigation in all the supported languages. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    component-watch

    component-watch

    Describe and watch component structure of java programs

    "Component-Watch" is a tool discovering, showing and assessing the structure of (big) java programs from their classes. It finds what are the components composing a program, analyse what are the relations between those components and compare those the the permitted relations between components. The tool helps to easily define and display UML-like diagrams showing components and their relationship.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 7
    xRecurseDiff

    xRecurseDiff

    A developer tool to rapidly compare sources tree

    xRecurseDiff is a small program that can rapidly traverse entire directory trees to show different version of the same files, for example to compare different version of the same project. For every file in the first directory searches in the second for files having the same name. A report containing results is shown. A detailed diff output can be shown. Search can be case-insensitive and limited by a char filter.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Java Call Trace to UML Sequence Diagram
    This tool helps you to reverse engineer UML Sequence Diagram for your java program at runtime. It works well with both complex java programs (that have multiple threads) and J2EE applications deployed on Application Servers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    JComp

    Program to translate source codes

    Program is aimed to be able to translate source codes from one language to other. Currently it only works (somewhat) for the following translations: - pascal to java - pascal to php - c to php Any constructive suggestions or feature requests are welcome
    Downloads: 0 This Week
    Last Update:
    See Project
  • Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software. Icon
    Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software.

    Banks, lending institutions

    Founded in 2004, axefinance is a global market-leading software provider focused on credit risk automation for lenders looking to provide an efficient, competitive, and seamless omnichannel financing journey for all client segments (FI, Retail, Commercial, and Corporate.)
    Learn More
  • 10
    misspell-check

    misspell-check

    A program to check source code for mispelings...

    A program to check source code for mispelings...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    RemoveComments

    Remove Comments from source code.

    With this tiny program, you can remove comments easily from source code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    XJML

    XJML 1.0 is a platform for Verification and Validation of Java classes

    XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    CesTa (Code Enhancing Security Transformation and Analysis) is a tool for enhancing security by program transformations. Focused on Smart Cards (Java Card in particular), powered by Ant, ANTLR and StringTemplates.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    Program Statistics

    View current download statistics for software on various sites

    progstat: Used to view current download statistics for posted programs on various sites.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    PSF is a path-sensitive, inter-procedural program analysis framework developed on top of Soot.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Java Cobol Lexer take a cobol source program and return it as a list of lexical tokens. Library takes source code in fixed, free and mixed formats. It recognizes standard Cobol 85.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    misspell-fixer

    Simple tool for fixing common misspellings, typos

    Utility to fix common misspellings, typos in source codes. There are lots of typical misspellings in program codes. Typically they are more eye-catching in the living code but they can easily hide in comments, examples, samples, notes and documentations. With this utility you can fix a large number of them very quickly. Be aware that the utility does not check or fix file names. It can easily happen that a misspelled word is fixed in a file name in a program's code, but the file itself will not be renamed by this utility. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    Kammerjäger

    Kammerjäger is a debugging tool with integrated correctness proving.

    ...In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next