Skip to content
Change the repository type filter

All

    Repositories list

    • Shim layer around Opium for producing Openapi documentation pages
      OCaml
      BSD 3-Clause "New" or "Revised" License
      0200Updated Oct 15, 2024Oct 15, 2024
    • Main public package repository for opam, the source package manager of OCaml.
      Shell
      Creative Commons Zero v1.0 Universal
      1.1k000Updated Mar 17, 2022Mar 17, 2022
    • llvmlite

      Public
      A lightweight LLVM python binding for writing JIT compilers
      Python
      BSD 2-Clause "Simplified" License
      322000Updated Jan 3, 2022Jan 3, 2022
    • tracer

      Public
      Recursive process fork/exec tracing for Linux systems using ptrace()
      C
      BSD 3-Clause "New" or "Revised" License
      12100Updated Nov 5, 2021Nov 5, 2021
    • re2

      Public
      OCaml bindings for RE2
      C++
      Apache License 2.0
      19000Updated Mar 14, 2017Mar 14, 2017
    • slmech

      Public
      Coq
      BSD 3-Clause "New" or "Revised" License
      0200Updated Nov 7, 2016Nov 7, 2016
    • slmc

      Public
      C++
      BSD 3-Clause "New" or "Revised" License
      0200Updated Nov 4, 2016Nov 4, 2016
    • Java
      BSD 3-Clause "New" or "Revised" License
      0210Updated Nov 4, 2016Nov 4, 2016