Search Results for "proxy software tool"
Sort By:
Showing 162 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.
-
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.
-
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
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
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... -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
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
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. -
8
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... -
9
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... -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
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...
-
11
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... -
12
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, ...
-
13
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. -
14
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. ... -
15
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 :) -
16
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... -
17
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 -
18
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. -
19
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. -
20
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. ... -
21
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. -
22
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... -
23
Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
-
24
Zekr is an open source Quran study software for Linux. It's designed to ease access to the most authentic and valuable text of Muslims. Zekr provides Quran translations, recitation, search and other features to study Holy Quran.
-
25
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,...
