Search Results for "program" - Page 15
Sort By:
Showing 365 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
This is a software to track bug based on Java program. You can use flexible query criteria to do CR (Change Request) tracking Demo is here http://dev.daybreaksoft.com:8080/bugfreej/Logon.jsp
-
2
jIMAP provides an java based implementation of the IMAP protocol. It provides direct access to all featurs of the IMAP protocol. It could be used to build a full blown mail program
-
3
JSeq is a tool to automatically create UML sequence diagrams. It works by following the execution of a Java program, noting each method entry and exit. It then generates a sequence diagram from this information.
-
4
EasyEncode
This is for a program that encodes a message offline, can be used to s
-
Desktop and Mobile Device Management SoftwareDesktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
-
5
jasperSmartReportGenerator is a java class file to call and export JasperReports without the need to write a Java program. Especially it is used to call and export JasperReports from command line.
-
6
This simplesudodu program is intend for studying in the sudoku solution algorithm rather than a game (If you want to make it a game, it's OK ^_^). Later I will implement the 4*4 or other kinds. Different sudoku requires different algorithm to solve.
-
7
Application to automatically merge gedcom files. It provides either a user or another program the ability to merge gedcom files with as little human interaction as possible and with high quality of matching results.
-
8
JNC means java native compiler. It take the java byte code file as input and translate it to C or ASM format then compile to native format such as elf or pe file. So your java program can run without JVM.
-
9
Gravity IDE is an IDE made and developed for Java/Java programmers. It's completely written from scratch and includes many features to ease Java program development.
-
Free and Open Source HR SoftwareGive your HR team the tools they need to streamline administrative tasks, support employees, and make informed decisions with the OrangeHRM free and open source HR software.
-
10
A chatbot framework currently implementing the ErkiTalk and irc protocol. By specifying parsers for the server's input one can easily create custom bots (if one can program in java of course ;).
-
11
gcov-eclipse is an Eclipse plug-in that will extend CDT to provide code-coverage testing to C/C++ projects by using the gcov program. It will integrate into the CDT's launch and managed build system.
-
12
Pinnus is a project management tool for Extremme Programming. The program offers options to control stories, iterations and participates of a project. It is based on Eclipse Rich Client Platform and uses HSQLDB database .
-
13
LinuxFont
Create and investigate PSF2 fonts
This utility is created with the aim of accelerating development of Linux PSF2 (framebuffer) fonts. It does not work with X fonts. The program can "explode" existing PSF2 fonts, creating an human-readable graphical representation of each glyph which can then be re-compiled into a PSF2 font. The project supports the use of unicode tables at the end of fonts, but currently (Dec, 2012) not fully (sequences are not supported), but this should be simple to amend. -
14
Chor
A choreography programming language for concurrent systems
Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about asynchronous communications or protocol compliance anymore. ... -
15
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
...In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. ...
