Search Results for "program" - Page 2
Sort By:
Showing 150 open source projects for "program"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Context for your AI agentsBuild data pipelines that feed your AI models and agents without managing infrastructure. Crawl any website, transform content, and push directly to your preferred vector store. Use 10,000+ tools for RAG applications, AI assistants, and real-time knowledge bases. Monitor site changes, trigger workflows on new data, and keep your AIs fed with fresh, structured information. Cloud-native, API-first, and free to start until you need to scale.
-
1
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
2
cravlAndBlock
linux tool to improve server security
...For sure it will not block all atacks but it will help. How it works: use cron to start java cravlAndBlock.jar in the same folder add properties.xml (I addes sample properties.xml file). And thats all. Program will start from cron, read properties file and make backup of hosts.deny file in backu location, cravl log file / files and add entries to hosts.deny file. It will print log information on the screen. If You are interested in cravl and block project please make a small donation for the author by paypal (to mail tjancz@gmail.com). ... -
3
Xelem is a compact Java-library to read and write Excel files of type SpreadsheetML. It can produce sophisticated, intricate and complex spreadsheets from within any Java program. And, since the release of xelem.2.0, it can read xml-spreadsheets.
-
4
HTTProvjera
HTTProvjera is a program that provides you with a way to web monitor
HTTProvjera is a lightweight program that provides you with a way to monitor your domain (website) or internet connection uptime. It attempts to connect to an internet host of your choice (i.e. rankolio.me) every few seconds, and log whether it was successful or not. -
Rent Manager SoftwareRent Manager is award-winning property management software built for residential, commercial, and short-term-stay portfolios of any size. The program’s fully customizable features include a double-entry accounting system, maintenance management/scheduling, marketing integration, mobile applications, more than 450 insightful reports, and an API that integrates with the best PropTech providers on the market.
-
5
FAIN SNMP Activator
Active Network Programming Language
FAIN SNAP provides an active network programming language and interpreter. It allows finite state machines to be operated over a number of network elements. Its main use is to program firewalls and raise alerts. It is a native Debian distribution. -
6
Tools developed by the Library of Congress and their partners in the National Digital Information Infrastructure and Preservation Program (NDIIPP) for the purpose of validation and transfer of data that conforms to the BagIt specification. This project has been moved to https://github.com/LibraryOfCongress
-
7
Sentence Composer
Compose the writings semi-automatically
Please click on "BROWSE ALL FILES" to open a README! What is this program? This program is meant to search the texts and suggest sentences that might follow any inputted sentence. It was meant to help composing the writings. How was it made? First, I made a chatterbot to understand the concept of "predicting" the next sentence (worked as good as the Cleverbot), then I made this program that is aided by an user to compose the new writings. -
8
gundercrypt [MOVED]
A CLI text encrypting/ciphering program and library for java
** MOVED: to github.com/gundermanc/gundercrypt A CLI text ciphering program and library written in java that makes use of pseudo random numbers and a password (provided by the user) to generate encrypted text by selectively shifting each subsequent letter by a pseudo-random index, encoding it as a letter stored in a hidden position within the String, and then re shifting the encrypted String again by numeric values deduced from a password to provide a dual layer of security. ... -
9
ExtempFile
A program that downloads articles from RSS feeds
This program was designed and implemented with the goal of automatically generating extemporaneous speaking files in digital format as per National Forensic League rules. I've moved the project to my github here: https://github.com/bmsmith/ExtempFile -
Leverage AI to Automate Medical CodingAs a healthcare provider, you should be paid promptly for the services you provide to patients. Slow, inefficient, and error-prone manual coding keeps you from the financial peace you deserve. XpertDox’s autonomous coding solution accelerates the revenue cycle so you can focus on providing great healthcare.
-
10
UptimeChecker
A small Java program to check regularly if a website is online
This small program was created 2 years ago with the purpose of being run on a webserver which periodically tries to reach an internet hostname to check if it's reachable and if the internet connection is up. (My plan was to monitor the SLA for my Internet connection). Now I have started working again on it. Few tweaks coming up shortly: -logs for downtime -doesn't exit when the host can't be reached -a GUI -
11
The Martus (TM) Bulletin System is used by human rights and social justice groups to track violations. This Java program is as easy to use as email. Bulletins can be encrypted or searched, and can be backed up to a remote server. See www.martus.org.
-
12
JMD5 is a multi-threaded Java program to calculate the MD5 sums of files. It uses Java Swing as GUI framework
-
13
Nalasys is a natural language system that allows users to specify instructions to the computer in natural language. By defining words with intrinsic data the system recognizes, a user will be able to program a system using his own words. For now the system can use several programmatic languages like SQL, Javascript, Groovy or JSP expression language. It also has a default language with no keywords where you can add words defined with objects in memory or from other languages.
-
14
Free Speech Just Pay Shipping
3d peer to peer chatroom where associated pairs of text gravitate
A 3d chatroom where the things people write gravitate toward eachother based on total strength of associations between those short texts. Strength is a competition of who spends the most computing time trying to associate the texts, similar to Bitcoin's "proof of work" system. While there is unlimited space in the system overall, the space around any specific text is limited by 3d space, which drives competition for what people want that text to be associated with. It can be used like a... -
15
jmtechhtmledit
Powerful HTML editor
This HTML editor is a just a simple program, but with powerful features. Based off of NetBeans and it's UI, I hope to allow the same customization interface and easy-to-use program feeling as many OpenSource programs. With support for CSS, HTML1-5, and XML it is very useful and plans are made to include server-side support and well as a testing enviornment. -
16
Java program that creates an SMTP message and sends it off. It can be used to test SMTP functionality as well as security. This test SMTP at the application level. Requires Java 6.
-
17
The proxy type of this program is Socks5,so it can support HTTP(S)/POP3/SSH/etc,use it to build a local proxy by put the PHP program to the remote server. Most of PHP programs need to import certification or need a public IP/port to support HTTPS.
-
18
A Java program / applet for remote bookmark and mail address management. Browser and system independent, no special web service required. All you need is ftp or ssh access to a remote host.
-
19
-
20
A program that can export a MySpace blog to a WordPress or Blogger format.
-
21
DEPRECATED! This program is replaced by Gamer's Proxy: https://sourceforge.net/projects/gamersproxy/ This is a simple Java program that holds UDP packets for a while before forwarding them to a target address. This can be used to simulate ping in video games.
-
22
Twitlinks2Rss is a command-line program that will extract links, posted from your twitter friends, and create a rss feed of that.
-
23
JUploader is a program to uploading files to image/file hosting servers without necessary to visit their websites. Supported servers for now: ImageShack, VPX, eFotek, BankFotek, Tapetosik, YourFileLink, ZippyShare, SpeedyShare, Plikojad.
-
24
Peter's Updater is a program to synchronize local directories automatically with FTP-Directories or other local directories. Peter's Updater supports proxies, gateways, filters and binary-/text-mode depending on the file extension.
-
25
WebWatcher - a Web-page Update Monitor This program will help you keep an eye on interesting Web-pages. You register a list of URLs you want to monitor, and WebWatcher checks for changes whenever you ask it to, or at given intervals. WebWatcher bases
