Skip to content

@ocaml-flambda The Flambda project for OCaml

Change the repository type filter

All

    Repositories list

    9 repositories

    • flambda-backend

      Public
      The Flambda backend project for OCaml
      OCaml
      •
      Other
      •79•125•245•172•Updated Feb 25, 2025Feb 25, 2025

    • ocaml-jst

      Public
      OCaml plus Jane Street extensions
      OCaml
      •
      Other
      •23•74•0•0•Updated Jul 17, 2024Jul 17, 2024

    • llvm-project

      Public
      The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
      Other
      •13k•1•0•1•Updated Feb 27, 2024Feb 27, 2024

    • dune

      Public
      A composable build system for OCaml.
      OCaml
      •
      MIT License
      •416•1•0•0•Updated Jun 18, 2023Jun 18, 2023

    • flambda2-opam

      Public
      OPAM packages etc. for building with the Flambda 2 compiler
      MIT License
      •8•3•1•3•Updated Feb 7, 2023Feb 7, 2023

    • MIEngine

      Public
      The Visual Studio MI Debug Engine ("MIEngine") provides an open-source Visual Studio Debugger extension that works with MI-enabled debuggers such as gdb and lldb.
      C#
      •
      MIT License
      •222•0•0•0•Updated Apr 21, 2022Apr 21, 2022

    • lldb-mi

      Public
      LLDB's machine interface driver
      C++
      •
      Other
      •61•0•0•0•Updated Dec 29, 2021Dec 29, 2021

    • ocaml

      Public
      The core OCaml system: compilers, runtime system, base libraries
      OCaml
      •
      Other
      •1.1k•5•81•10•Updated Sep 3, 2021Sep 3, 2021

    • coq

      Public
      Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
      OCaml
      •
      GNU Lesser General Public License v2.1
      •667•0•0•0•Updated Aug 26, 2021Aug 26, 2021