Search Results for "proxy software tool"
Sort By:
Showing 205 open source projects for "proxy software tool"
View related business solutions-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
1
Ansible-lint
Best practices checker for Ansible
Ansible Lint is a command-line tool for linting playbooks, roles and collections aimed towards any Ansible users. Its main goal is to promote proven practices, patterns and behaviors while avoiding common pitfalls that can easily lead to bugs or make code harder to maintain. Ansible lint is also supposed to help users upgrade their code to work with newer versions of Ansible. Due to this reason we recommend using it with the newest version of Ansible, even if the version used in production... -
2
Zotero
Tool to help you collect, organize, annotate, cite, and share research
Zotero is a powerful, free, open-source research management application designed to help students, academics, and professionals collect, organize, annotate, cite, and share research sources and materials for papers, projects, or books. It can save web pages, PDFs, books, articles, and more with metadata, automatically extract bibliographic information, and organize items into collections and tag systems, while supporting notes and annotations directly alongside references. Zotero’s interface... -
3
Google Open Source Project Style Guide
Chinese version of Google open source project style guide
Each larger open source project has its own style guide, a series of conventions on how to write code for the project (sometimes more arbitrary). When all the code maintains a consistent style, it is more important when understanding large code bases. easy. The meaning of "style" covers a wide range, from "variables use camelCase" to "never use global variables" to "never use exceptions". The English version of the project maintains the programming style guidelines used in Google. If the... -
4
eLabFTW
Open source electronic lab notebook for research labs
eLabFTW is a modern, open-source electronic laboratory notebook (ELN) that helps research teams store, organize, and manage experimental records and laboratory data from a central web interface. Designed for scientific environments, the software provides a secure, browser-accessible platform where users can log protocols, results, and observations in structured records that replace traditional paper notebooks. Beyond simple experiment journaling, eLabFTW includes an inventory database for tracking lab materials, reagents, and equipment, making it a versatile tool for laboratory management. ... -
AI-generated apps that pass security reviewRetool 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.
-
5
Litmus
Litmus helps SREs and developers practice chaos engineering
LitmusChaos is an open source Chaos Engineering platform that enables teams to identify weaknesses & potential outages in infrastructures by inducing chaos tests in a controlled way. Developers & SREs can practice Chaos Engineering with Litmus as it is easy to use, based on modern chaos engineering principles & community collaboration. It is 100% open source & a CNCF project. Litmus takes a cloud-native approach to create, manage and monitor chaos. The platform itself runs as a set of... -
6
PSeInt
A tool for learning programming basis with a simple spanish pseudocode
PSeInt is a pseudo-code interpreter for spanish-speaking programming students. Its main purpose is to be a tool for learning and understanding the basic concepts about programming and applying them with an easy understanding spanish pseudocode. -
7
Open Exam Suite
An open-source exam creation and simulation tool askin to Avanset VCE
A software tool to be an open source replacement for VCE exam suite. -
8
Application Blocker
Application Restrictor Tool For Windows
Application Blocker Application Blocker is a software restriction tool for Windows. It can block access to selected programs. It is very effective and easy to use. You can select any program file and add it to the list. The lock is reliable and very hard to break for normal users. The tool does not work at background when using standard block. In password lock mode, the tool uses minimal resources and does not affect system performance. ... -
9
Simple Turtle LOGO
Free Educational Tool for Beginner LOGO Coding (STEM Students / Kids)
SIMPLE TURTLE ================ Create simple LOGO programs with commands to control the Turtle and draw amazing images!! Use for STEM, Coderdojo or similar coding events. Recursive REPEAT statements. INSTANT ON / OFF = Turns on / off immediate execution of commands FD x = Forward x pixels BK x = Backward x pixels RT x = Right by x degrees LT x = Left by x degrees PU = Pen Up (Do not draw) PD = Pen Down (Draw) REPEAT x = Creates a loop to run x times which... -
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
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. -
11
Frevo
Frevo is probably the simplest tool for evolutionary design
FREVO is an open-source framework developed in Java to help engineers and scientists in evolutionary design or optimization tasks. The major feature of FREVO is the componentwise decomposition and separation of the key building blocks for each optimization tasks. We identify these as the problem definition, solution representation and the optimization method. This structure enables the components to be designed separately allowing the user to easily swap and evaluate different configurations... -
12
Gemi
PCR primers / probes design from multiple & degenerate sequences
Please, do not hesitate to contact us if you need help. https://sites.google.com/view/hsa23/ Gemi, an automated, fast, and easy-to-use bioinformatics tool with a user-friendly interface to design primers and probes for polymerase chain reaction (PCR). Gemi accepts multiple aligned and long DNA and RNA sequences with degenerate nucleotide (non-A/C/G/T bases). Gemi can be used for quantitative, real-time and conventional PCR (qPCR, rt-PCR, etc.), and Sanger sequencing. Gemi can parse large... -
13
Easy to use software for Windows, Mac OS X and Linux enabling you to read and search in many translations of the Holy Bible.
-
14
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...
-
15
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, ...
-
16
Audiographs
Math Accessibility Tool for Visually Impaired
Audiographs is an application that allows visually impaired students to study a mathematical function. This is achieved by using sound or musical notes. The user enters the function formula and can very easily hear its audio representation. The application is interactive and this gives the user the possibility to study the function in multiple ways. The best way to learn using the application is to use the documentation which offers a step by step guide. It is freely available under the open... -
17
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. -
18
OpenSIMPLY
Discrete-event simulation modeling software for science and education
OpenSIMPLY is an open source project for simulation modeling in Delphi, Lazarus, Free Pascal. Download OpenSIMPLY at opensimply.org The project is free computer simulation software based on discrete-event approach. OpenSIMPLY is a science software with very high simulation performance. So, the simulation results can be obtained much faster. The project is suitable for people with any modeling experience, and can be used for both science and education. Some application of this modeling software are: - traffic simulation - network simulation, - emergency and evacuation ways simulation and much more. ... -
19
qvge
Qt Visual Graph Editor
qvge is a multiplatform graph editor written in C++/Qt. Its main goal is to make possible visually edit two-dimensional graphs in a simple and intuitive way. Please note that qvge is not a replacement for such a software like Gephi, Graphvis, Dot, yEd, Dia and so on. It is neither a tool for "big data analysis" nor a math application. It is really just a simple graph editor :) -
20
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... -
21
Morse Key Express
Converts text to Morse sounds
This is a simple application that converts text to Morse code and audio. It has minimal dependencies and is very lightweight. It does not yet offer the ability to transcribe Morse code and save the output to an audio file. It's a useful tool for amateur radio operators and radio operators. https://github.com/shampuan/morse-key-express -
22
Easy Database Forms For All
Create Web Based Forms Quickly, With In-built DB, For All Your Teams
Please watch the video till 18m:00s / screenshots below for easy installation steps. This video is taken from my other project, with many similarities and some naming differences. After installation, login to the Administrator Page with : Username : root Password : change_this and look at the team1 database and the sample_table in it, from all aspects. You can now create your own tables/forms. Also, login into the team1 user page ( from homepage ) with : Username : team1... -
23
Artifact GeoMorph Toolbox 3D 3.1
A toolbox for 3DGM shape analysis of archaeological artifacts
The Artifact Geomorph Toolbox 3D software is designed to provide the archaeologist interested in artifact shape variability with a toolbox to allow the acquisition, analysis and results exploration of homologous 3D landmark-based geometric morphometric data. As such, the toolbox contains an automated item and semi-landmarks positioning procedure and the fundamental statistical analyses and procedures to allow the processing and analysis of the data. It is designed to be easy to use and... -
24
Desktop Plagiarism Checker
Free plagiarism software for .NET (Windows 7, 8.1, 10, 11)
Plagiarisma tools are a valuable resource for anyone who wants to ensure the originality and accuracy of their written work. The plagiarism checker is a useful tool for detecting any instances of copied content in a document. It compares the text with a vast database of sources to determine the level of similarity and highlights any potential areas of concern. The paraphraser tool allows writers to rephrase their sentences to avoid plagiarism, while the summarizer provides a concise overview... -
25
Elementary Algorithms
Book of elementary algorithms and data structures
...I recently switched my focus to the Mathematics of programming, the new book is also available in (github). To build the book in PDF format from the sources, you need the following software pre-installed, TeXLive, The book is built with XeLaTeX, a Unicode friendly version of TeX. You need the GNU make tool, in Debian/Ubuntu like Linux, it can be installed through the apt-get command.
