Archive

GSoC'18 Reports

GSoC'18 Final Report (11 Aug 2018)

GSoC'18 Week 11 Report (31 Jul 2018)

GSoC'18 Week 9 & 10 Report (22 Jul 2018)

GSoC'18 Week 8 Report (09 Jul 2018)

GSoC'18 Week 6 & 7 Report (02 Jul 2018)

GSoC'18 Week 5 Report (18 Jun 2018)

GSoC'18 Week 4 Report (10 Jun 2018)

GSoC'18 Week 3 Report (03 Jun 2018)

GSoC'18 Week 2 Report (27 May 2018)

GSoC'18 Week 1 Report (20 May 2018)

2019

Differential Privacy (03 Aug 2019)

Probabilistic Programming (02 Aug 2019)

Z3 theorem prover (25 Jul 2019)

Make C compiler using LLVM (10 Jun 2019)

LLVM (10 Mar 2019)

SAT (17 Feb 2019)

Pointer Analysis (02 Feb 2019)

Coq Tactics (02 Jan 2019)

Understanding Types (01 Jan 2019)

2018

Google Summer of Code 2018 (24 Apr 2018)

Home Automation (17 Mar 2018)

2017

Game of life (10 Oct 2017)

Haskell Chat App (10 Sep 2017)

Hello World (17 Jul 2017)