Search Results for "proxy software tool"
Sort By:
Showing 123 open source projects for "proxy software tool"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
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.
-
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
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... -
3
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. ... -
4
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... -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
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. -
6
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. -
7
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... -
8
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...
-
9
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, ...
-
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.
-
10
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. -
11
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... -
12
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. -
13
Coding-Guide
Repository of coding guidelines, developer notes, learning resources
The Coding-Guide repository is a personal repository of coding guidelines, developer notes, learning resources, and documentation spanning topics from front-end to full-stack, coding practices, and software development tips. The repository appears to be maintained by “ecmadao” and intended as a reference/knowledge base of best practices, notes, style conventions, and reminders. The content is typically documentation, markdown files, code snippets, and tutorials, rather than a coherent, packaged software tool. Documentation across languages and frameworks. ... -
14
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. -
15
Data Structures and Algorithms in JS
Data Structures and Algorithms explained and implemented in JavaScript
Are you a JavaScript developer looking to improve your craft? Then, this algorithms book is for you. This material contains the fundamental concepts to move your career to the next level. You will be able to solve problems faster in your day-to-day work and ace technical job interviews. Simply put, algorithms are several steps to solve a specific problem (e.g., sort number, search value, transform data, etc.). Algorithms are an essential toolbox for every programmer. Even if you don't... -
16
Canteen Calandreta
Tool to manage canteen, nursery and events registrations of a school.
This software, developed by the Muret's Calandreta allow to manage canteen and nursery registrations of children of a school (for instance, a Calandreta, bilingual school in Occitania in the South of France). The daily order is send by mail with the number of meals with and without pork for children and teachers. Then, it allow to generate monthly bills of families and record payments. More over, this software allow to manage organization of events (description, dates, registrations,... -
17
freefq tutorials
Companion repository to the freefq project
freefq/tutorials is a companion repository to the freefq project that focuses on educational content, providing step-by-step guides and walkthroughs for setting up, using, and troubleshooting various proxy and VPN tools with the freefq lists. While the proxy lists themselves are raw configurations, this tutorials repo contextualizes them for users who may be unfamiliar with client setup, encryption options, or platform-specific considerations like mobile vs desktop environments. It typically... -
18
BookIt Desktop
This tool collects webpages and organizes them into an ebook.
This is a desktop tool to collect webpages and organize them into an ebook. With this tool, you are able to gather Internet materials together to read any time offline. You can use it either as a webpage converter or material collector. Saving webpages can be so easy with a click. -
19
Developer Roadmap Chinese
The roadmap to becoming a web developer in 2021
In this project, you will see a series of charts showing the paths you can take and the technologies you will want to adopt in order to become a front-end, back-end, or DevOps developer. I made these charts for an old professor of mine. He wanted to share something with college students and give them a point of view; share them here to help the community. The purpose of these roadmaps is to give you an outline and to provide you with guidance when you are confused about what to learn next,... -
20
Edition Visualization Technology
Digital edition visualization software
EVT is a tool that creates web-based diplomatic and/or interpretative editions starting from XML TEI-encoded documents. The current release, EVT v. 1.3, builds upon the feature set of the previous releases and adds support for quite a number of new features: * added a new navigation bar; * added support for translations in multiple languages; * added support VisColl style sheets; * added support for comment and critical <note>s; * added support for verse numbering and... -
21
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 -
22
Email analyser - Les Furets Comateux
An university project to learn the basics of software engeeniring
This repository was created and is a part of the GL02 course taught in the UTT. The goal is to create a tool to simplify the work of a fake corporation called UIConsult by automating the analysis of an email box. -
23
Seriously entertaining dolphins on echo networks. The official source repository is located at https://github.com/textbrowser/spot-on. Downloads are located at https://github.com/textbrowser/spot-on/releases.
-
24
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. ... -
25
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
