FStarLang/FStar


2014

April
Nikhil Swamy
Pierre-Yves Strub
Catalin Hritcu
nikswamy
Chantal Keller
C
May
Pierre-Yves Strub
Nikhil Swamy
Chantal Keller
C
June
Nikhil Swamy
Pierre-Yves Strub
Karthikeyan Bhargavan
nikswamy
July
Pierre-Yves Strub
Nikhil Swamy
Karthikeyan Bhargavan
August
Nikhil Swamy
September
Nikhil Swamy
Catalin Hritcu
Pierre-Yves Strub
October
Nikhil Swamy
Catalin Hritcu
Pierre-Yves Strub
Chantal Keller
C
Aseem Rastogi
A
nikswamy

2015

July
Nikhil Swamy
Abhishek Anand (@ MSR desktop)
Aseem Rastogi
A
Niklas Grimm
N
Abhishek Anand (on VAIO laptop)
markulf
M
Michael Hicks
Catalin Hritcu
jkz
Benjamin Beurdouche
B
August
Abhishek Anand (@ MSR desktop)
Michael Hicks

2016

March
Nikhil Swamy
Jonathan Protzenko
Antoine Delignat-Lavaud
Santiago Zanella-Beguelin
Catalin Hritcu
Guido Martínez
Michael Lowell Roberts
April
Jonathan Protzenko
Catalin Hritcu
Nikhil Swamy
Santiago Zanella-Beguelin
Jean Karim
September
Nikhil Swamy
Cedric Fournet
Santiago Zanella-Beguelin
Jean Karim
Jonathan Protzenko
Markulf Kohlweiss
M
Aseem Rastogi
December
Kenji Maillard
K
Nikhil Swamy
Catalin Hritcu
Jonathan Protzenko
Kyo Dralliam
Aseem Rastogi
Robin Green

2017

January
Jonathan Protzenko
Nikhil Swamy
Catalin Hritcu
Tahina Ramananandro
Kenji Maillard
K
Benjamin Beurdouche
B
A L Manning
kkohbrok
K
vkanne-msft
Dzomo, the everest Yak
D
April
Guido Martínez
Dzomo the everest Yak
D
Nikhil Swamy
Darren Gehring
Darren
qunyanm
Aseem Rastogi
Kenji Maillard
Jonathan Protzenko
Kenji Maillard
K
Christoph M. Wintersteiger
C
June
Guido Martínez
July
Aseem Rastogi
Tahina Ramananandro
Markulf Kohlweiss
M
Guido Martínez
Nikhil Swamy
Dzomo the everest Yak
D
Kenji Maillard
Santiago Zanella-Beguelin
Andreas Bogk
Benjamin Beurdouche
B
nickgian
N
September
Nikhil Swamy
Aseem Rastogi
Monal Narasimhamurthy
Clément Pit--Claudel
Guido Martínez
Victor Dumitrescu
Tahina Ramananandro
Dzomo the everest Yak
D
Jared Roesch
Antoine Delignat-Lavaud
Clément Pit-Claudel
Christoph M. Wintersteiger
C
November
Aseem Rastogi
Nikhil Swamy
Zoe Paraskevopoulou
Victor Dumitrescu
Monal Narasimhamurthy
Jonathan Protzenko
Catalin Hritcu
qunyanm

2018

March
Aseem Rastogi
Guido Martínez
Nikhil Swamy
Dzomo the everest Yak
D
Catalin Hritcu
Clément Pit--Claudel
Victor Dumitrescu
Jonathan Protzenko
Benjamin Beurdouche
B
May
Tahina Ramananandro
Nikhil Swamy
Guido Martínez
Dzomo the everest Yak
D
Gustavo Varo
Victor Dumitrescu
Zoe Paraskevopoulou
Kenji Maillard
s-zanella
Pierre Beaucamp
Jonathan Protzenko
Benjamin Beurdouche
B
July
Guido Martínez
Tahina Ramananandro
Dzomo the everest Yak
D
Victor Dumitrescu
Pierre Beaucamp
September
Guido Martínez
Aseem Rastogi
Nikhil Swamy
Dzomo the everest Yak
D
Gustavo Varo
Victor Dumitrescu
Zoe Paraskevopoulou
November
Nikhil Swamy
Aseem Rastogi
Victor Dumitrescu
Guido Martínez
Jay Bosamiya
Jonathan Protzenko
Tahina Ramananandro
Dzomo the everest Yak
D
December
Nikhil Swamy
Guido Martínez
Tahina Ramananandro
Aseem Rastogi
Jonathan Protzenko
Christoph M. Wintersteiger
C
Tahina Ramananandro (professional account)

2019

March
Aseem Rastogi
Nikhil Swamy
Tahina Ramananandro
Dzomo the everest Yak
D
nikswamy
Gustavo Varo
Jonathan Protzenko
Guido Martínez
Jonathan Protzenko
Jacob Mitchell
Tahina Ramananandro (professional account)
June
Antoine Delignat-Lavaud

2022

September
Guido Martínez
October
Aseem Rastogi
Aymeric Fromherz
Guido Martínez
Nikhil Swamy
Lucas Franceschino
nikswamy
December
Aseem Rastogi
Nikhil Swamy

2023

January
Nikhil Swamy
Aseem Rastogi
Tahina Ramananandro
Aymeric Fromherz
February
Guido Martínez
September
Guido Martínez

2024

May
Guido Martínez
June
Guido Martínez
Tahina Ramananandro
August
Guido Martínez
Nikhil Swamy
Gabriel Ebner
Jonah Beckford
J
nikswamy
September
Guido Martínez
October
Guido Martínez
Nikhil Swamy
nikswamy
Tahina Ramananandro
November
Guido Martínez
Tahina Ramananandro
Dzomo, the Everest Yak
Nikhil Swamy
Tahina Ramananandro (professional account)
nikswamy
December
Guido Martínez
Gabriel Ebner
Tahina Ramananandro
Nikhil Swamy
Tahina Ramananandro (professional account)
Brian G. Milnes
Dzomo, the Everest Yak

Have a legacy codebase in mind?

Curious about the story behind a specific legacy codebase? Let us help you uncover its legacy.