Search Results for "java open source" - Page 6
Sort By:
Showing 212 open source projects for "java open source"
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
A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.
-
2
Un petit simulateur de collision de particules codé en langage ADA (utilisant la SDL pour l'affichage). A small simulator of particule collisions coded in ADA (using the SDL for graphics).
-
3
The Widget Set for Super-Light Applications is a minimalist GUI toolkit written in Pascal. Rendering backends include Xlib, SDL and DirectFB. Visit our trac wiki for more information and updates: http://sourceforge.net/apps/trac/wiseslap
-
4
Inspiring Operating System replaces Windows 8, Vista, XP and Mac OS X. (Are you tired of nasty viruses, worms, trojans, rootkits, dialers, spyware, and malware?). If so, make a smart move and get a newbie friendly free Linux Operating System today!
-
Deliver trusted data with dbtData teams use dbt to codify business logic and make it accessible to the entire organization—for use in reporting, ML modeling, and operational workflows.
-
5
Ada-engine, more commonly known as eAda, is a MMORPG engine, with which you can make your own game. It is created in Ada 2005, a fast, strongly typed programming language... [continued at project homepage]
-
6
-
7
-
8
An Ada To ANSI C Compiler targeted towards small embedded systems who lacks an Ada compiler but have an ANSI C Compiler.
-
9
An other connect4 written in Ada using GtkAda, main language is French. An Artificial Intelligence is provided, you can play against the computer. Un autre Puissance4 écrit en Ada s'appuyant sur GtkAda. Il est pourvu d'une Intelligence Artificielle.
-
Comet Backup - Fast, Secure Backup Software for MSPsComet is a flexible backup platform, giving you total control over your backup environment and storage destinations.
-
10
-
11
A code template tool for VHDL development which outputs to the clipboard - this means it can be used with any tool. Written in Ada, using GTK. Runs on Windows XP and Linux with common source code
-
12
This is an Ada implementation of the Dancing Links X Algorithm as in Donald E. Knuth paper. AdaDLX is used to solve the Eight-Queens puzzle, Sudoku grids and Blocs in Box puzzle.
-
13
-
14
BlackBox Master is a reasoning game. The player fires electrons into the "Black Box" and tries to deduce where the Atoms are, based on where the electrons come out if they do.
-
15
In CouleursetSons game in Ada, the player must reproduce a sequence of colors associated to sounds . Dans ce jeux CouleursetSons en Ada, le joueur doit reproduire une sequence de couleurs associees a des sons.
-
16
Smart_Arguments is designed to simplify the use of command line arguments. The built in Ada facilities for command line argument processing are very basic. This package provide a higher level facility for dealing with command lines.
-
17
FracAda is the Ada 2005 implementation of the Fractal component model [http://fractal.ow2.org/] It is an experimental project using the GNAT (GPL) compiler
-
18
-
19
The objectives of OCERA is the design and implementation of a library of free software components for the design of embedded real-time systems. These components will be used to create flexible, configurable, robust and portable embedded applications.
-
20
-
21
-
22
APQ is an Ada95 thick binding to allow Ada SQL client programs to access PostgreSQL, MySQL and Sybase database systems. The project is now hosted at http://framework.kow.com.br
-
23
-
24
-
25
