Skip to content
View tbrk's full-sized avatar

Organizations

@inria-parkas

Block or report tbrk

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. INRIA/velus INRIA/velus Public

    A Lustre compiler in Coq

    Coq 63 6

  2. inria-parkas/sundialsml inria-parkas/sundialsml Public

    An OCaml interface to the Sundials suite of numeric solvers.

    OCaml 26 9

  3. checklistings checklistings Public

    LaTeX package for passing verbatim contents through a compiler and reincorporating the resulting output

    TeX 3

  4. treeplate treeplate Public

    XSLT scripts for generating a static web site

    XSLT 1

  5. muttlight muttlight Public

    Search and preview for MailDir files on MacOS

    C 15 2

  6. urpal urpal Public

    Urpal is your pal for Uppaal.

    Standard ML 5 2