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.
Try free now
Gen AI apps are built with MongoDB Atlas
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.
This sourceforge site for the project is now DEPRECATED and not updated.
All current work and new releases are on github: https://github.com/OpenJML/OpenJML.
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.
The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest
Jo2 (Java Operators Overloading) :: is Javac (Sun Java Compiler) extended by operators overloading. This open java project comes with a specification of operators overloading in Java. The resulting byte code obeys to the java standard specification.
Javadoc2Help is a java based command line tool for converting the javadoc generated html output to Java Help, HTML Help(chm) and Oracle Help for Java(OHJ)
Jawk is an interpreter/compiler for the AWK programming language for Java. Unlike prior versions, Jawk provides an efficient execution environment for AWK with minimal enhancements to the language.
Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.
Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
ObjectScript is a general purpose object-oriented programming language. It is designed to be simple to learn, easy to use, yet still powerful, combining the convenience of an interactive interpreter with many of the features of Java
Paradox is a programming language designed to combine the simplicity of scripting languages like PHP and Perl with the power and speed of C++ and Python.
The Jcptbr is a framework for object-relational mapping written in the Java language. This framework addresses the problem of incompatibility between object and relational models, without the necessity of using xml for the mapping.
The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducing the accidental cost of programming. http://github.com/h4ck3rm1k3/
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.
Introspect on running programme, view and alter object fields and methods. Edit the code of any method at runtime; apply the changes to any combination of objects, such as an array, or a complete class. Complete rewrite underway available Jan 2007.
A set of Eclipse plugins for the Scheme programming language. Features a powerful, fully extensible S-expression-based editor. Integrates seamlessly with any Scheme interpreter.
New object-oriented programming language based on Java, with the following advanced features:
parametric types, anonymous functions, multi-methods, tuples, optional parameters.
Nice also detects more errors during compilation (null pointers, casts).
A C Compiler/Editor for Retro 6809 Machines (Colour Computer/Dragon)
WinCMOC v0.6 is here! So many new features, I cant remember them all. Please uninstall old versions before installing.
This is a port of the CMOC compiler (written by Pierre Sarrazin) to Windows. Currently CMOC does not support linking, so, I've written front end tools which edit CMOC's output so that it can be assembled and linked via LWTOOL's.
A simple C editor in included which makes it easy to compile/build and run the xroar emulator.
Please visit the CMOC website:
http://perso.b2b2c.ca/~sarrazip/dev/cmoc.html
CREDITS
LWTools - Portable tools for the Motorola 6809/6309
http://lwtools.projects.l-w.ca/
mcpp - A Portable C Preprocessor
http://mcpp.sourceforge.net/
Artistic Style - Automatic Source Formatter
http://astyle.sourceforge.net/
XRoar - Dragon & CoCo emulator
http://www.6809.org.uk/xroar/
CMOC - 6809 cross-compiler for a small C-like language
http://perso.b2b2c.ca/~sarrazip/dev/cmoc.html
Xtraitj is a programming language for pure trait-based programming. It is completely compatible and interoperable with the JAVA platform without reducing the flexibility
of traits. Xtraitj is integrated in Eclipse (editor with all the standard tooling) and JDT. It is implemented in Xtext, relying also on Xbase.
YALC is a virtual architecture designed for educational purpose. It models a DLX-like processor and its set of ASM instructions, a compiler from a high level language (C-like), and an IDE with syntax checking and highlighting.
several vaguely related projects worked on by me: a 3d engine with a javascript-like scripting language (pdsys); an older scheme dialect (vmsys); ... (2009-04-28: I have been gone for years, may try to put up some newer stuff...).
Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
This is Richard C. Waters' SERIES package for Common Lisp. In a nutshell: Think "Efficient MAPCAR" SERIES translates functional-style expressions into efficient loops. Series are to loops as control structures are to GOTOs.
SLEEF stands for SIMD Library for Evaluating Elementary Functions. SLEEF implements vectorized versions of all C99 math functions, that utilize SIMD instructions of modern processors to make computation more efficient. The library also includes vectorized DFT subroutines.
PICxxx Genric assembler (support for script language that can describe most microcontrollers and some processors). First release support about 90 different microcontrollers and devices.
This is a LISP implementation for .NET, with leanings towards Scheme. It is a from-scratch reimplementation of a previous language, built upon the dynscript-net project. It currently powers about 60 production websites, so it's not completely useless.
This is a scripting language for the .NET platform, similar to Python. Previously, it had a nice IDE and could run Python code unchanged. This is a from-scratch reimplementation using the dynscript-net project. I hope to reimplement all the old features.