• MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    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.
    Download Now
  • 1
    OCaml

    OCaml

    The core OCaml system: compilers, runtime system, base libraries

    OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. OCaml has two compilers. One is a bytecode compiler that generates small, portable executables and is very fast. The other is a native code compiler that produces more efficient machine code; its performance matches the highest standards of modern compilers. OCaml has great support for the most popular editors. VS Code is recommended for beginners, and for power users there is deep integration with Vim and Emacs. OCaml has a rich and dynamic community and best-in-class tooling.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 2
    OpenJ9

    OpenJ9

    A Java Virtual Machine for OpenJDK

    A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR and combines with the Extensions for OpenJDK for OpenJ9 repo. We're not sure which route you might have taken on your way here, but we're really pleased to see you! If you came directly from our website, you've probably already learned a lot about Eclipse OpenJ9 and how it fits into the OpenJDK ecosystem. Eclipse OpenJ9 is an independent implementation of a Java Virtual Machine. "Independent implementation" means it was built using the Java Virtual Machine specification without using any code from any other Java Virtual Machine. The OpenJ9 JVM combines with the Java Class libraries from OpenJDK to create a complete JDK tuned for footprint, performance, and reliability that is well suited for cloud deployments. The original source contribution to OpenJ9 came from the IBM "J9" JVM which has been used in production by thousands of Java applications.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 3
    Svelte

    Svelte

    Cybernetically enhanced web apps

    Svelte is a new way to build web applications. It's a compiler that takes your declarative components and converts them into efficient JavaScript that surgically updates the DOM. Svelte shifts as much work as possible out of the browser and into your build step. No more manual optimizations, just faster, more efficient apps. Write breathtakingly concise components using languages you already know, HTML, CSS, and JavaScript. Oh, and your application bundles will be tiny as well. Built-in scoped styling, state management, motion primitives, form bindings and more — don't waste time trawling npm for the bare essentials. It's all here.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 4
    The Futhark Programming Language

    The Futhark Programming Language

    A data-parallel functional programming language

    Futhark is a small programming language designed to be compiled into efficient parallel code. It is a statically typed, data-parallel, and purely functional array language in the ML family, and comes with a heavily optimizing ahead-of-time compiler that presently generates either GPU code via CUDA and OpenCL, or multi-threaded CPU code. Futhark is not designed for graphics programming, but can instead use the compute power of the GPU to accelerate data-parallel array computations. The language supports regular nested data-parallelism, as well as a form of imperative-style in-place modification of arrays, while still preserving the purity of the language via the use of a uniqueness type system. While the Futhark language and compiler is an ongoing research project, it is quite usable for real programming and can compile nontrivial programs which then run on real machines at high speed.
    Downloads: 5 This Week
    Last Update:
    See Project
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Start Free
  • 5
    Visual F# Compiler and Tools

    Visual F# Compiler and Tools

    Visual Studio IDE for writing F# programs

    Visual F# is the Visual Studio Integrated Development Environment (IDE) for writing programs in F#. It comes with a solid set of features including those supported in other .NET Framework languages, and assists developers in packaging and deploying applications.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 6
    Webpack Encore

    Webpack Encore

    A simple but powerful API for processing and compiling assets

    Symfony ships with a pure-JavaScript library, called Webpack Encore, that makes it a joy to work with CSS and JavaScript. You can use it, use something else, or create static CSS and JS files in your public/ directory directly and include them in your templates. Webpack Encore is a simpler way to integrate Webpack into your application. It wraps Webpack, giving you a clean & powerful API for bundling JavaScript modules, pre-processing CSS & JS, and compiling and minifying assets. Encore gives you a professional asset system that's a delight to use. Encore is inspired by Webpacker and Mix, but stays in the spirit of Webpack, using its features, concepts and naming conventions for a familiar feel. It aims to solve the most common Webpack use cases. Encore is made by Symfony and works beautifully in Symfony applications. But it can easily be used in any application in any language!
    Downloads: 5 This Week
    Last Update:
    See Project
  • 7
    webpack

    webpack

    A bundler for Javascript and friends

    webpack is a module bundler that is primarily used for bundling JavaScript files for usage in a browser, though it can also transform, bundle, or package just about any resource or asset, including images and styles. webpack packs many modules into a few bundled assets. It can bundle ES Modules, CommonJS, and AMD modules, and create a single bundle or multiple chunks through code-splitting that are asynchronously loaded at runtime. It supports all browsers that are ES5-compliant, has a rich plugin interface that makes it very flexible, and enables the use of loaders to preprocess files.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 8
    JWasm is a Masm-compatible assembler. It supports 16-, 32- and 64-bit code, instructions up to AVX and various output formats. It's written in C.
    Leader badge
    Downloads: 27 This Week
    Last Update:
    See Project
  • 9

    Freematics Arduino Builder

    Self-contained tool for compiling and uploading Arduino sketches

    Freematics Arduino Builder is a fully standalone utility for viewing, compiling, configuring and uploading Arduino sketch or pre-compiled binary to Arduino board without need for any development environment setup. It currently supports AVR, ESP8266 and ESP32.
    Downloads: 36 This Week
    Last Update:
    See Project
  • Veeam Data Platform v13.1 Icon
    Veeam Data Platform v13.1

    Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try Now
  • 10
    ELENA Programming Language

    ELENA Programming Language

    an object-oriented language with late binding

    ELENA is a general-purpose, pure object-oriented language with late binding. It promotes more object-oriented program design, reusable and more standardized code. The package includes compiler, IDE, ELENA libraries and samples
    Leader badge
    Downloads: 30 This Week
    Last Update:
    See Project
  • 11

    Xsemantics

    a DSL for type systems, reduction rules, interpreters for Xtext langs

    Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).
    Leader badge
    Downloads: 128 This Week
    Last Update:
    See Project
  • 12
    YAGARTO is a cross development environment for the ARM architecture, running on a Windows host. It includes the GNU C/C++ toolchain and the Eclipse IDE.
    Downloads: 37 This Week
    Last Update:
    See Project
  • 13
    Virtual T
    Virtual T is a TRS-80 Model 100/102/200 emulator that runs on Windows, Linux, and Macintosh. The goal of Virtual T is to provide 100% hardware emulation so any existing programs will run. It also adds powerful development and debugging tools.
    Leader badge
    Downloads: 31 This Week
    Last Update:
    See Project
  • 14
    maXbox5

    maXbox5

    maXbox is a script tool engine, compiler and source lib all in one exe

    The Art of Coding: maXbox is a script tool engine, compiler and source lib all in one exe to design and code your scripts in a shellbook! It supports Pascal, Delphi (VCL), Python (P4D), PowerShell and Java Script (Edge WebView).
    Downloads: 122 This Week
    Last Update:
    See Project
  • 15
    Squirrel is a light weight programming language featuring higher-order functions,classes/inheritance,delegation,tail recursion,generators,cooperative threads,exception handling, reference counting and garbage collection on demand. C-like syntax.
    Leader badge
    Downloads: 43 This Week
    Last Update:
    See Project
  • 16
    IKVM.NET is a JVM for the Microsoft .NET Framework and Mono. It can both dynamically run Java classes and can be used to convert Java jars into .NET assemblies. It also includes a port of the OpenJDK class libraries to .NET.
    Downloads: 20 This Week
    Last Update:
    See Project
  • 17
    Psyco showed that it is possible to execute Python code at speeds approaching that of fully compiled languages, by "specialization". The project is now dead and replaced by PyPy: http://pypy.org/
    Downloads: 23 This Week
    Last Update:
    See Project
  • 18
    GCC D Compiler (GDC) for Mac OS X (10.2-10.4) See http://gdcproject.org/ for new GDC development.
    Leader badge
    Downloads: 117 This Week
    Last Update:
    See Project
  • 19
    MCPP is a portable C/C++ preprocessor, supporting GCC, Visual C++, etc. Its source is highly configurable and can generate executables of various specs. It accompanies a validation suite to check preprocessor's conformance and quality exhaustively.
    Leader badge
    Downloads: 63 This Week
    Last Update:
    See Project
  • 20
    ANS Forth for Win32 and Linux/x86 (used to compile the following SF projects: acWEB, acFTP, acFreeProxy, acSMTP, Forth-Script)
    Leader badge
    Downloads: 39 This Week
    Last Update:
    See Project
  • 21
    BSC

    BSC

    Bluespec Compiler (BSC)

    BSC is the open source compiler toolchain for Bluespec SystemVerilog, a high-level, rule-based hardware design language. It translates Bluespec descriptions into synthesizable Verilog, letting developers bring typed, modular abstractions into mainstream FPGA/ASIC flows. The compiler performs scheduling of atomic rules, elaborates parameterized modules, and enforces interface contracts, producing predictable RTL that integrates with existing EDA tools. A companion simulator enables fast functional execution and debugging before handing designs to traditional verification and synthesis stages. The ecosystem includes standard libraries, FIFOs, interfaces, and utilities that encourage reuse and clean separation of datapaths and control. By raising the abstraction for hardware architecture while preserving efficient output, BSC helps teams explore complex designs—such as RISC-V cores or accelerators—more productively.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 22
    CSharp.lua

    CSharp.lua

    The C# to Lua compiler

    The C# to Lua compiler. CSharp.lua is a C# to Lua compiler. Write C# then run on lua VM.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 23
    Fennel

    Fennel

    Lua Lisp Language

    Fennel is a programming language that brings together the speed, simplicity and reach of Lua with the flexibility of a lisp syntax and macro system. Full Lua compatibility: Easily call any Lua function or library from Fennel and vice-versa. Zero overhead: Compiled code should be just as efficient as hand-written Lua. Compile-time macros: Ship compiled code with no runtime dependency on Fennel. Embeddable: Fennel is a one-file library as well as an executable. Embed it in other programs to support runtime extensibility and interactive development. Anywhere you can run Lua code, you can run Fennel code. Fennel is a lisp that compiles to Lua. It aims to be easy to use, expressive and has almost zero overhead compared to writing Lua directly. Building Fennel from source allows you to use versions of Fennel that haven't been released, and it makes contributing to Fennel easier.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 24
    Haste

    Haste

    A GHC-based Haskell to JavaScript compiler

    A compiler to generate JavaScript code from Haskell. It even has a website and a mailing list. Seamless, type-safe single program framework for client-server communication. Support for modern web technologies such as WebSockets, WebStorage and Canvas. Simple JavaScript interoperability. Generates small, fast programs. Supports all GHC extensions except Template Haskell. Uses standard Haskell libraries. Cabal integration, simple, one-step build; no need for error prone Rube Goldberg machines of Vagrant, VirtualBox, GHC sources and other black magic. Concurrency and MVars with Haste.Concurrent. Unboxed arrays, ByteArrays, StableNames and other low level features. Low-level DOM base library. You have three options for getting Haste: installing from Hackage, from Github or from one of the pre-built binary packages.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 25
    Idris 2

    Idris 2

    A purely functional programming language with first class types

    In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from functions just like any other value, such as numbers, strings, or lists. This is a small but powerful idea, enabling relationships to be expressed between values; for example, that two lists have the same length. Assumptions to be made explicit and checked by the compiler. For example, if you assume that a list is non-empty, Idris can ensure this assumption always holds before the program is run.
    Downloads: 4 This Week
    Last Update:
    See Project