Showing 93 open source projects for "proxy software tool"

View related business solutions
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 1
    Digital Logic Design

    Digital Logic Design

    Digital Circuits Design and Simulation

    DLD V 2.0 Released Digital Logic Design is a Software tool for designing and simulating digital circuits. It provides digital parts ranging from simple gates to Arithmetic Logic Unit. You may start your circuit from simple gates and flipflops and keep on converting them into ICs. These ICs, later on, may be incorporated into other circuits to built more complex circuits like CPU.
    Leader badge
    Downloads: 42 This Week
    Last Update:
    See Project
  • 2
    Java Modeling Language (JML)
    This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
    Downloads: 11 This Week
    Last Update:
    See Project
  • 3
    Linguistic Tree Constructor

    Linguistic Tree Constructor

    Syntax tree editor for rapid annotation of existing text

    Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format.
    Downloads: 21 This Week
    Last Update:
    See Project
  • 4
    JQM Java Quine McCluskey

    JQM Java Quine McCluskey

    JQM - Java Quine McCluskey for minimization of Boolean functions.

    Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for...
    Downloads: 8 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 5
    Anti-Plagiarism (Check on plagiarism)
    Anti-Plagiarism - software designed to effectively detect and thereby prevent plagiarism. It is a versatile tool to deal with World Wide Web copy-pasting information from the assignment of authorship. The goal of this program is to help reduce the impact of plagiarism on education and educational institutions. Checking documents in a format *.rtf, *.doc, *.docx, *.pdf Check the source code C, C++, C#, Java, ...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 6
    Kendo Tournament Generator

    Kendo Tournament Generator

    Tool for managing a kendo tournament

    This software manage different kendo tournaments: from local simple championships to professional tournaments with high number of teams. The software can manage the registration of competitors, team generation, design of the tournament (simple, championship, manual, ... ). Also allows the creation of accreditations, list of teams and other documents in PDF useful for manage a real kendo tournament. Finally, it allows to obtain some statistics and feedback from each team and competitors.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    MolMarker

    MolMarker

    Java software to evaluate the results obtained by molecular markers

    Journal article to cite: Jahnke, G.; Smidla, J.; Poczai, P. MolMarker: A Simple Tool for DNA Fingerprinting Studies and Polymorphic Information Content Calculation. Diversity 2022, 14, 497. https://doi.org/10.3390/d14060497 Leave a review, please! Your opinion matters! :-) MolMarker is user-friendly software to help evaluate the research results obtained by molecular markers. The software can handle genetic (e.g.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    Etchimaths (ALL categories)

    Etchimaths (ALL categories)

    This is a maths solving app and study guide for various levels..

    Etchimaths is a Mathematics software, a helping tool for Mathematics simulation(solving) and study.It is a solving as well as a teaching software. It involves Mathematics programs at various levels of studies;they include: 1.Etchimaths(O'LEVEL) 2.Etchimaths(A'LEVEL) 3.Etchimaths(UNIVERSITY) 4.Etchimaths(BEPC/BEPC+1) 5.Etchimaths(BAC) 6.Etchimaths(UNIVERSITE) 7.Etchimaths(ULTIMATE) and more to come in future..
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    VStar

    VStar

    Multi-platform Variable Star Visualisation and Analysis

    VStar is a multi-platform, easy-to-use variable star observation visualisation and analysis tool. Data can be read from a file or the AAVSO database, light curves and phase plots created, period analysis performed, and filters applied. Plugins can be developed, e.g. to make additional observation sources available. See also: 1. http://www.aavso.org/vstar-overview 2. http://www.aavso.org/forums/about-aavso/vstar 3. http://dbenn.wordpress.com/category/astronomy-science/vstar 4. http://www.citizensky.org/teams/vstar-software-development
    Downloads: 1 This Week
    Last Update:
    See Project
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 10

    ChartSafe - Band Music Library

    Software to manage PDF band music charts

    Manage your band's digital library with a simple tool which will organize your PDF chart files and give you tools to better print/distribute music to your players.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    RadiationHelper

    RadiationHelper

    Alpha, Beta, Gamma measurements and Nuclide exposure

    RadiationHelper is a data analysis tool for : 1. gross alpha and beta radiation measurement and detector calibration using experimental data (counts acquired by alpha-beta devices). 2. gamma spectroscopy measurements and detector calibration using experimental data (spectra acquired by acquisition software such as Assayer, Gamma Vision, Maestro) 3. gross alpha,beta, gamma detector efficiencies and gamma peak efficiency can be theoretical computed using Monte-Carlo simulation technique for radiation transport (based on EGSnrc toolkit) 4.dose assessment in human body exposed to radiations from nuclides in several common scenarios such as air exposure, water submersion, ground surface, internal ingestion or inhalation. 5. quick dosimetry and shielding computations. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    Digital Logic Simulator (DiLoSim)

    Digital Logic Simulator (DiLoSim)

    Allows you to build your own circuits and test them

    With this software you will be able to build your own circuits and test them. You are allowed to use this easy-to-use tool for educational reasons. Run on Windows: - Install Java: https://java.com/en/download/ - Download the binaries - Open the jar-file with the java runtime Limitations: - Currently only German language supported
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    Universal Tag Finder

    Universal Tag Finder

    Is tool for query HTML content

    Universal Tag Finder is a tool to query against html content in the file system. For developers it allows to find out relevant elements during the troubleshooting and validating periods. Does not need to bother on massive regex to find out elements.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    Regex Creator

    Tool to help create regular expressions (regex)

    Regex Creator is a tool to help create regular expressions (regex). The goal is to make it as easy and as fast as possible to create regex. You paste the text to parse, specify the values to extract and generate the regex. You can also debug a regex. New v2.0 has improved UI.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    QuickWeb

    This tool can be used to create quickly the skeleton of a web site.

    QuickWeb is a tool to quickly create a skeleton of a web site. The tool developed in Java and to create a web site, there's no need to manipulate HTML in the beginning. All you have to do is to write a simple Java code that will generate a web site of several pages. Created to help me with documenting different Sourceforge project, QuickWeb does not generate, for now, any CSS or JS code, but, it can generate the skeleton and the static content of a website composed of several web pages and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    QuickSlide

    A tool to generate HTML-based slide shows.

    This tool allow the generation of slide shows in HTML format (to run simply in the browser). It can not replace Microsoft Power Point, but, it allows you to create a slide show by writing Java code. The generated slide show can be run easily in the browser so it is platform independent and does not need any additional software installation, even on new installed OS or Smart phones.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Etchimaths(A'LEVEL)

    Etchimaths(A'LEVEL)

    Etchimaths(A'LEVEL) is a typical Mathematics software for A'LEVEL

    Etchimaths(A'LEVEL) is a Mathematics software, a helping tool for Mathematics simulation(solving) and study for the GCE ADVANCED LEVEL standard.It is a solving machine as well as a teaching machine
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Open Cezeri Library

    Open Cezeri Library

    Effective Linear Algebra and Computer Vision Library with JAVA

    ...To learn for library please try to use test examples at OpenCezeriLibrary\test\test. It is originally developed at el-cezeri laboratory of Siirt University, in order to establish generic framework of reusable components and software tools for machine vision, machine learning, AI and robotic applications. Currently, it holds following main concepts 1- Vision: It can access web cams, imaging source industrial cameras for manuel settings and advanced issues. Studies on accesing Leapmotion and Kinect is still under-development. 2- Machine learning: It uses Weka Software tool and some personel coded ML algorithms 3- CMatrix: Special matrix library called as CMatrix meaning Cezeri Maztrix Class. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Object Graph Visualizer

    Object Graph Visualizer

    A modeling tool for software engineers (OO)

    Object Graph Visualizer is a tool primarily meant to be used in CS courses to help new students understand the Object Oriented paradigm and patterns. Classes and objects - that can be part of a software project - are visualised in 3D: The classes stay In the xz-plane in form of an UML class diagram. Directly above in the y-axis objects can be instantiated as an object diagram.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    GUAJE FUZZY

    GUAJE FUZZY

    Free software for generating understandable and accurate fuzzy systems

    ...Both types of knowledge, expert and induced, are integrated under the expert supervision, ensuring interpretability, simplicity and consistency of the knowledge base along the whole process. Notice that, GUAJE is is an upgraded version of the free software called KBCT (Knowledge Base Configuration Tool).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Green, an Eclipse plugin, is an advanced yet simple UML class-diagram tool, developed primarily for student use. It does live round-tripping, so it's easy to move between diagram and code views. It's extensible: users can define their own relations
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    The bflow* Toolbox is an open source tool kit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    AlMutarjim

    AlMutarjim

    Set of arabic-french islamic translation tools

    This software is specifically intended to french islamic translators. However, it can, and maybe would, be adapted to other languages in a near future. It gather a set of tools that can be usefull for arabic-french islamic translators.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    DomainMath IDE

    DomainMath IDE

    An open source gui frontend application for GNU Octave

    DomainMath IDE is an open source GUI front-end application for GNU Octave
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    SITools2
    SITools2 is a new CNES generic tool performed by a joint effort between CNES and scientific laboratories. The aim of SITools is to provide a self-manageable data access layer deployed on already existing scientific laboratory databases.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next
MongoDB Logo MongoDB