Repositories list

• mopsa-ocaml

  Public
  OCaml

  •

  Other

  •2•2•0•0•Updated Sep 12, 2025Sep 12, 2025

• 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.

  C++

  •

  Other

  •15k•2•0•2•Updated Sep 11, 2025Sep 11, 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

  •446•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

  •223•0•0•0•Updated Apr 21, 2022Apr 21, 2022

• lldb-mi

  Public
  LLDB's machine interface driver

  C++

  •

  Other

  •66•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 environment for semi-interactive development of machine-checked proofs.

  OCaml

  •

  GNU Lesser General Public License v2.1

  •691•0•0•0•Updated Aug 26, 2021Aug 26, 2021