Build gen AI apps with an all-in-one modern database: MongoDB Atlas
MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
Start Free
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You 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.
The PNMP (Petri Nets Modeling Platform) project aims at providing, in collaboration with Eclipse EMF, GMF, PNML Framework, and other future projects, a comprehensive approach to MDD for Embedded Systems on top of the Eclipse Project platform.
Spider is a Java framework for creating web applications. Its major design goals are are testing, reducing boilerplate code, avoiding static state through dependency injection, strict M-V-C separation and convention over configuration.
This is a new generation of SQL (Structured query language) Server which is targeted to serve on a Virtual Appliance. Hybrid SQL Server is targeted to run on VirtualBox from SunMicrosystems.
axpl is an Advanced XML Programming language. Programs can be written nearly compiler and platform independend in xml. xslt can perform the output into a programming language (C,C++,C##,Java,...) into native code.
XMLMapper.NET helps to map between C# object to XML, and vice versa. It attempts to ride on the CASTOR project XML format to allow for translation to Java object
A Java based simulator for the LC-3 16bit processor used in several CSS classes.
(specifically in the book "Introduction to Computing Systems: From Bits and Gates to C and Beyond" (2nd Ed)
Moved to GitHub
Online code review tools for C/C++/Java and other types of source code. Supports Clearcase, CVS and SVN. Can be extended to support other source code management systems.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
Excellent addition to any application, the ProjessUpdater Application Extension (PAE) can be applied to assist in end-user updates and downloads from a centralized location. The suite consists of an open-source client and a server.
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. 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...
Adapt is data conversion language developped in 1984 by Norman W. Molhant and Christophe Dupriez. It has been used in many circumstances, it translated itself in many programming environment and it should evolve now toward modern environments like Java.
A database refactoring framework to easily keep track of database changes. DBMS independent. All changes are kept in XML Files.
Runs on all platforms supported by Microsoft.Net and Novell's mono.
LiquiBase.Net is a port of the java based LiquiBase