Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
Create free account
Streamline Azure Security with Palo Alto Networks VM-Series
Centrally manage physical and virtualized firewalls with Panorama
Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.
Q is a programming language with a Lisp-like syntax, but is oriented toward component programming and compiled and interpreted usage, with an emphasis on cooperation with other modern language environments.
The QPascal Project is an endeavour to produce a new generation of development tools based on the object-oriented programming language QPascal. Its goal is to create a compiler, linker, debugger, assembler, and eventually an extensive and extensible IDE.
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Que is a queue-based programming language, very different from other programming languages. Due to the nature of a queue, programs made in Que are automatically parallelized, meaning improved efficiency in multi-core environments.
The world's first evidence-oriented programming language
Quorum is a programming language designed in empirical studies with humans to be intuitive and easy to use. It is a Java Virtual Machine language with full Integrated Development and Debugger support built into the Sodbeans project. Version 4.0 includes support for graphics, 3D sound support, and Lego robotics.
RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
The Register Description Language (RDL) is an object modeling language used to specify and implement software accessible hardware registers and memories. A RDL compiler can create synthesizable HDL, documentation, driver code, system-c models, and more.
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.
Seed is probably best thought of as an single-address-space, linear-object-based, native, persistent operating system with event-based pre-emptive-multitasking, but without anything resembling a traditional kernel or filesystem.
An object-oriented language that compiles to native code, for POSIX and Windows systems. Requires Expat, GCC, as well as MinGW/Msys for Windows. Compiler generates C++ code but manages various tasks that C++ leaves to programmers, provides interfaces, gc
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
A small Java utility used with AspectJ which allows any checked exception to be re-thrown as an unchecked RuntimeException. This allows aspects to generically throw any checked exception without the compiler complaining. BCEL is used to accomplish this.
Tickle is a compiler for the Illicom TradeXpress (TX) Transaction Control Language (TCL) . It has better error messages, provides more informative syntax and semantic error messages, and generates ANSI standard C.
This project is a c++ code weaver, mainly based on open source tools. It may run on every platform supporting c++. Unlike aspectc++, taco join points are some of the control structures encountered in c++.
Traceur is a JavaScript.next-to-JavaScript-of-today compiler
Traceur is a JavaScript.next-to-JavaScript-of-today compiler that allows you to use features from the future today. Traceur supports ES6 as well as some experimental ES.next features. Traceur's goal is to inform the design of new JavaScript features which are only valuable if they allow you to write better code. Traceur allows you to try out new and proposed language features today, helping you say what you mean in your code while informing the standards process. JavaScript's evolution needs your input. Try out the new language features. Tell us how they work for you and what's still causing you to use more boilerplate and "design patterns" than you prefer. You can use some language features right now and even try it out in your browser here. Just type in some code and see what Traceur produces.