Skip to content
@jhuapl-saralab

JHUAPL SARA Lab

JHUAPL Software Assurance Research and Applications Laboratory

Popular repositories Loading

  1. tracer tracer Public

    Recursive process fork/exec tracing for Linux systems using ptrace()

    C 21 1

  2. slmech slmech Public

    Coq 2

  3. exterminator exterminator Public

    Java 2

  4. slmc slmc Public

    C++ 2

  5. openapi-ocaml openapi-ocaml Public

    Shim layer around Opium for producing Openapi documentation pages

    OCaml 2

  6. re2 re2 Public

    Forked from janestreet/re2

    OCaml bindings for RE2

    C++

Repositories

Showing 8 of 8 repositories
  • openapi-ocaml Public

    Shim layer around Opium for producing Openapi documentation pages

    jhuapl-saralab/openapi-ocaml’s past year of commit activity
    OCaml 2 BSD-3-Clause 0 0 0 Updated Oct 15, 2024
  • opam-repository Public Forked from ocaml/opam-repository

    Main public package repository for opam, the source package manager of OCaml.

    jhuapl-saralab/opam-repository’s past year of commit activity
    Shell 0 CC0-1.0 1,160 0 0 Updated Mar 17, 2022
  • llvmlite Public Forked from numba/llvmlite

    A lightweight LLVM python binding for writing JIT compilers

    jhuapl-saralab/llvmlite’s past year of commit activity
    Python 0 BSD-2-Clause 331 0 0 Updated Jan 3, 2022
  • tracer Public

    Recursive process fork/exec tracing for Linux systems using ptrace()

    jhuapl-saralab/tracer’s past year of commit activity
    C 21 BSD-3-Clause 1 0 0 Updated Nov 5, 2021
  • re2 Public Forked from janestreet/re2

    OCaml bindings for RE2

    jhuapl-saralab/re2’s past year of commit activity
    C++ 0 Apache-2.0 20 0 0 Updated Mar 14, 2017
  • slmech Public
    jhuapl-saralab/slmech’s past year of commit activity
    Coq 2 BSD-3-Clause 0 0 0 Updated Nov 7, 2016
  • slmc Public
    jhuapl-saralab/slmc’s past year of commit activity
    C++ 2 BSD-3-Clause 0 0 0 Updated Nov 4, 2016
  • exterminator Public
    jhuapl-saralab/exterminator’s past year of commit activity
    Java 2 BSD-3-Clause 0 1 0 Updated Nov 4, 2016

Top languages

Loading…

Most used topics

Loading…