Skip to content
View tbrk's full-sized avatar
38 followers · 93 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2
BetaSend feedback

Organizations

@inria-parkas
Block or Report

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

  1. INRIA/velus INRIA/velus Public

    A Lustre compiler in Coq

    Coq 56 6

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

    An OCaml interface to the Sundials suite of numeric solvers.

    OCaml 25 8

  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