Skip to content

@ocaml-flambda The Flambda project for OCaml

Change the repository type filter

All

    Repositories list

    10 repositories

    • 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 …
      C++
      •
      Other
      •17k•2•0•6•Updated Apr 16, 2026Apr 16, 2026

    • mopsa-ocaml

      Public
      OCaml
      •
      Other
      •3•3•0•0•Updated Sep 12, 2025Sep 12, 2025

    • apron

      Public
      Apron Numerical Abstract Domain Library
      C
      •
      Other
      •36•0•0•0•Updated Apr 22, 2025Apr 22, 2025

    • ocaml-jst

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

    • dune

      Public
      A composable build system for OCaml.
      OCaml
      •
      MIT License
      •470•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 lld…
      C#
      •
      MIT License
      •225•0•0•0•Updated Apr 21, 2022Apr 21, 2022

    • lldb-mi

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

    • ocaml

      Public
      The core OCaml system: compilers, runtime system, base libraries
      OCaml
      •
      Other
      •1.2k•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 en…
      OCaml
      •
      GNU Lesser General Public License v2.1
      •721•0•0•0•Updated Aug 26, 2021Aug 26, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.