Search Results for "proxy software tool"
Sort By:
Showing 15 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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
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.. -
2
jpeg2pdf
Create PDF from JPEG scans and photos
Cross-platform command-line tool for creation of PDF documents from scans/photos of pages in JPEG (.jpg) format and the lightest weight ANSI C library to put multiple JPEG files into one PDF file. You can add handwritten comments to PDF scans (over original images) with xournal: http://xournal.sourceforge.net/ It supports graphics tablets and saves comments to PDFs as vector data. -
3
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 -
4
...They have since then evolved into a general-purpose tool for binary program testing, profiling, and security restriction. The sandbox libraries are currently maintained by the OpenJudge Alliance (http://openjudge.net/) as a standalone, open-source project to facilitate various assignment grading solutions for IT/CS education. See project page at https://github.com/openjudge/sandbox for details.
-
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
Avenzoar is a one-year exploration of renal cell carcinoma morphology and its related single nucleotide polymorphisms (SNPa) as a method of automating diagnosis of cancer by using a computer-aided decision tree controlled by analytical statistics.
-
6
Mindway is now a powful platform of browser,programed calcuating&extracting tool,simple editor.you can create a professional text based guide format(xdf) easily, and then everyone could know what&how to do next clearly.See also http://www.qvandi.com
-
7
QtXGame is an intuitive, extensible, modern cross-platform tool to construct and solve extensive and strategic games related to Game Theory. Its extensibility allows user to create and add his own games, solvers and matrix transformations.
-
8
This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.
-
9
rjudge is a judge system for the Olympiad in Informatics. It can be also used as a problem test tool in the programming contest and daily practice. It provides many security features to ensure the smooth implement of judgement.
-
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.
-
10
This tool permit to backup datas such as phonebook, calendar, notes and other of a SonyEricsson (tested on w810i) mobile phone. This a command line tool.
-
11
The SugarMemo is a learning tool that can enhance the memorizing of your foreign language(s). The software is released under the GPL 3 License.
-
12
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms. Silicis is a new formal framework for designing [verification] algorithms.
-
13
JTAG-O-MAT is a simple but highly configurable command line tool for Win32 and Linux based PCs, mainly used to upload initial software to virgin embedded system via a JTAG interface.
-
14
getAbsPath is a C header (getAbsPath.h) or an ANSI C tool (getAbsPath) which converts relative unix/win32 pathes to absolute ones. It uses current working directory (CWD) as basis. Use it e.g. for finding out the current path of a shell script
-
15
The compilerMonitor persists a record of all javac error messages and the sources that caused/fixed the errors. It is a CAUSE (computer-aided usability engineering) tool that analyzes interaction between a developer and the compiler.
- Previous
- You're on page 1
- Next
