• Full-stack observability with actually useful AI | Grafana Cloud Icon
    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 Icon
    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.
    Learn more
  • 1
    Pluk is a programming language. Something i am building because i want a compiled java/c# variant.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    The Ptolemy Language
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    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.
    Try it Free
  • 5
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    The Quorum Programming Language

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The SUIF2 Compiler Infrastructure.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    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.
    Try free now
  • 10
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Swift is a virtual machine that aims to be fast, simple, and generic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    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)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Zeta is the name of a project to create a virtual platform to port linux to.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    The grinj is a complete suite with compiler, VM and IDE for the language "grinj". it can be used as-is or as basis for your own compiler-VM-IDE-suite.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    jpl is a high-level, object-oriented, dynamically typed programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    A complete Development Environment for TI calculators
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Tiqi Programming Language. A new comprehensive language compiled natively to machine code or to Objective-C.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    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++.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    A collection of language tools based on recursive adaptive grammars (RAGs), built around a general RAG parsing algorithm.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    This project contains a library for writing compilers/type systems and toy compilers for small games.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Traceur

    Traceur

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB