Skip to content
Block or report user

Report or block tahina-pro

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse


@Microsoft @FStarLang @mitls @project-everest

Popular repositories

  1. opam-repository

    Forked from ocaml/opam-repository

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

    Shell 1

  2. FStar

    Forked from FStarLang/FStar

    An ML-like language with a type system for program verification


  3. prof_spacetime

    Forked from lpw25/prof_spacetime

    Prof. Spacetime


  4. everest

    Forked from project-everest/everest



    Forked from project-everest/

    Landing page for Project Everest


  6. mitls-fstar

    Forked from project-everest/mitls-fstar

    TLS implemented in F*


1,287 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri

Contribution activity

April 2019

Created a pull request in FStarLang/FStar that received 1 comment

Allow `--already_cached '*-A+B -C'`, auto insert spaces

Currently, F* namespace arguments to --already_cached must be separated with spaces: fstar.exe --already_cached '* -A +B -C' ... This may cause is…

+209 −195 1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.