Showing 19 open source projects for "open source software framework"

View related business solutions
  • 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
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 1
    ocaml - windows
    This should be the fastest way to use OCAML / OPAM on windows. It's a cygwin environment with already installed ocaml, opam, dune (opam), etc. Just unpack and execute "start.exe"
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    This project contains a library for writing compilers/type systems and toy compilers for small games.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4

    The MinCaml Compiler

    *** Moved to http://github.com/esumii/min-caml ***

    *** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!
    Downloads: 0 This Week
    Last Update:
    See Project
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | 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
  • 5
    loon is a GLR parser generator that takes EBNF grammars as specifications. Tokens are specified in the grammar file, and it generates a parse tree instead of executing actions. A single grammar can output a parser in any supported language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7
    MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Htl translator to XTA (Uppaal).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    MTASC is an open-source (GPLv2) ActionScript 2.0 compiler developed by Motion-Twin Technologies (http://www.mtasc.org/). Motion-Twin no longer releases updates to MTASC though. This project is a community fork of MTASC with new improvements.
    Downloads: 4 This Week
    Last Update:
    See Project
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 10
    A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    This is a port of the Dis virtual machine system to POSIX-compatible operating systems, based on the original Inferno sources, including a Limbo compiler. The port is intended to make the virtual machine and runtime environment more general and easily ex
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Jekyll is a high level programming language that can be translated to and from readable, editable C, thus allowing it to be used in C projects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    banshee-- A toolkit for building constraint-based program analyses
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    PacLang is a language for programming Network Processors. It aims to make it easy to write high performance networking applications that are portable across a range of target platforms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    PCL-Compiler is a compiler for PCL: a simple Pascal-derived programming language, used for teaching compiler technology in the National Technical University of Athens.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB